How do I find my Polyspace license number?

How do I find my Polyspace license number?

Answer 1

[MathWorks Support Team]

There are 3 ways to obtain your Polyspace Desktop or Polyspace Access license number:

(1) Obtain your Polyspace Desktop or Polyspace Access license via User Interface:

Open the "Help" menu and select "About." After a moment, a prompt will display your installed products and license number.

For more detailed instructions with screenshots, see the following posts:

• How do I find my Polyspace Desktop license number?
• How do I find my Polyspace Access license number?
• How do I find my Polyspace Test license number?

(2) Obtain your Polyspace Desktop or Polyspace Server license using the Command Line:

Enter the following command at the Windows, Linux or Mac command line:

• For R2019a and later:

polyspace-bug-finder{-server] -ver
polyspace-code-prover[-server] -ver

• For R2021a update1 and later, you can get the license on the cluster side as well from the desktop side using the "-batch" option with "-scheduler":

polyspace-code-prover[-server]  -batch -ver -scheduler <scheduler>
polyspace-bug-finder[-server] -batch -ver -scheduler <scheduler>

• For R2018b and earlier:

polyspace-bug-finder-nodesktop -ver
polyspace-code-prover-nodesktop -ver

(3) Check the License Center on MathWorks.com

If you don't already have Polyspace installed, you can visit the License Center and then use "Filter by:" to determine which license of yours has your Polyspace products.

License Center

https://www.mathworks.com/licensecenter

The "Filter by:" option is shown in the screenshot below.

[Walter Roberson]

For R2013b and later, Polyspace is licensed through the same license system that is used for MATLAB Toolboxes, so to use Polyspace you would purchase the toolbox through Mathworks Sales, and then you would go through the standard MATLAB activation procedure to download the updated version of your license file.