如何申请Polyspace等附件功能的授权？

现状是学校采购了全功能的学术版license，但无法安装Polyspace、Roadrunner等附件功能，界面如下。填写试用申请后，Matlab反馈已经是全功能版的license。不知道如何安装和使用。

Answer 1

[Vandit]

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:

1. Download the MathWorks Installer
2. Run the MathWorks installer, as downloaded from the "Download MATLAB" link above (for example: "matlab_R2023b_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" or "Polyspace Server" license. Contact your local MATLAB license administrator if no Polyspace license shows.
5. 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:

1. Go to your MathWorks account
2. Select your MATLAB Campus-Wide license
3. Select the tab that reads "Contact Administrator(s)"

Hope this helps.