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:
(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:
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>
polyspace-bug-finder-nodesktop -ver
polyspace-code-prover-nodesktop -ver
(3) Check the License Center on MathWorks.comIf 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
The "Filter by:" option is shown in the screenshot below.