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:
- Open the MATLAB installer again, as downloaded from the "Download R2019a" link above (matlab_R2019a_win64.exe).
- Follow the installer's instructions to log in to your MathWorks account.
- Select your "Polyspace Desktop" or "Polyspace Server" license. Contact your local MATLAB license administrator if no Polyspace license shows.
- Follow the installer's instructions to install Polyspace products.