Hello Pika,
For R2023b release, Polyspace products have been made independent from MATLAB. As a result, new Polyspace licenses were provided to users subscribed to Software Maintenance Service as of R2023b for Polyspace Bug Finder or Code Prover.
To access and install Polyspace R2023b or later versions, you will need to follow these steps carefully:
- Download the MathWorks Installer
- Run the MathWorks installer, as downloaded from the "Download MATLAB" link above (for example: "matlab_R2023b_win64.exe").
- Follow the installer's instructions to log in to your MathWorks account.
- In the following pane, make sure to 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.
To install RoadRunner and other accessory functions, please reach out to the License Administrator(s). To find the list of License Administrator(s) and their email address(es), see the steps below:
- Go to your MathWorks account
- Select your MATLAB Campus-Wide license
- Select the tab that reads "Contact Administrator(s)"
Hope this helps.
