MATLAB Answers

0

How do I install Polyspace for R2019a and later?

I am trying to install Polyspace R2019a. 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 or Polyspace Code Prover R2019a?

1 Answer

Answer by MathWorks Support Team on 23 Aug 2019
Edited by MathWorks Support Team on 23 Aug 2019
 Accepted Answer

Since 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 Bug Finder or Code Prover.
For details regarding license-related changes in R2019a, see below web page:
To install Polyspace R2019a, you must select the new Polyspace license in the installer. Please follow below steps:
  1. Open the MATLAB installer again, as downloaded from the "Download R2019a" link above (matlab_R2019a_win64.exe).
  2. Follow the installer's instructions to log in to your MathWorks account.
  3. Select your "Polyspace Desktop" or "Polyspace Server" license. Contact your local MATLAB license administrator if no Polyspace license shows.
  4. Follow the installer's instructions to install Polyspace products.

  0 Comments

Sign in to comment.