How do I install Polyspace?

I am trying to install a Polyspace desktop product. I launched the installer that I downloaded here:

Download MATLAB

and selected my MATLAB license. However, no Polyspace products were shown in the "Select products to install" pane. In earlier releases, I was able to select Polyspace products for installation from this list.

How do I install Polyspace Bug Finder, Polyspace Code Prover, Polyspace as You Code, or Polyspace Test?

Answer 1

[MathWorks Support Team]

Polyspace products are independent from MATLAB. As a result, new Polyspace licenses were provided to users subscribed to Software Maintenance Service for Polyspace products.

To install Polyspace, you must select the new Polyspace license in the installer. Please follow below steps:

1. Download the MathWorks Installer
2. Run the MathWorks installer, as downloaded from the "Download MATLAB" link above (for example: "matlab_R2026a_Windows.exe").
3. Follow the installer's instructions to log in to your MathWorks account.
4. In the following pane, make sure to select your "Polyspace Desktop", "Polyspace Server", or “Polyspace Test” license. Contact your local MATLAB license administrator if no Polyspace license shows.
5. Follow the installer's instructions to install Polyspace products.

Note: You must perform additional steps if you would like to integrate Polyspace with MATLAB/Simulink starting from R2019a. See the following MATLAB Answers Post for more details:

How do I use Polyspace R2019a with Simulink R2019a?

The Polyspace static analysis products (Polyspace Bug Finder, Polyspace Code Prover), the Polyspace dynamic testing products (Polyspace Test), and Polyspace as You Code require three separate licenses and four separate installations (two for Polyspace Bug Finder and Polyspace Code Prover; one for Polyspace Test; and two for Polyspace as You Code). However, you can use the same installation folder for the three sets of products and run Polyspace Bug Finder, Polyspace Code Prover, and Polyspace Test from the same user interface.

For more information, see:

• Install Polyspace Desktop Products: See more details on how to install Polyspace Bug Finder or Polyspace Code Prover.
• Install Polyspace as You Code: See more details on how to install Polyspace as You Code.
• Install Polyspace Server Products: See more details on how to install Polyspace Bug Finder Server or Polyspace Code Prover Server.
• Install Polyspace Test: See more details on how to install Polyspace Test.