Clear Filters
Clear Filters

How do I install Polyspace for R2019a and later?

178 views (last 30 days)
I am trying to install a Polyspace desktop product. I launched the installer that I downloaded here:
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 or Polyspace Test (R2019a and later)?

Accepted Answer

MathWorks Support Team
MathWorks Support Team on 7 May 2024
Edited: MathWorks Support Team on 7 May 2024
As of R2019a, Polyspace products are independent from MATLAB. As a result, new Polyspace licenses were provided to users subscribed to Software Maintenance Service as of R2019a for Polyspace products.
For details regarding license-related changes in R2019a, see below web page:
To install Polyspace R2019a or later, 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_R2019a_win64.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:
The Polyspace static analysis products (Polyspace Bug Finder, Polyspace Code Prover) and the Polyspace dynamic testing products (Polyspace Test) require two separate licenses and two separate installations. However, you can use the same installation folder for both sets of products and run all Polyspace products from the same user interface.
For more information, see:

More Answers (0)

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!