For versions of Polyspace R2009b and newer you can run polyspace-ver to verify that Polyspace is installed and licensed properly. This will output text on your screen check contains license and version information.
Here is where you will find and run polyspace-ver from:
UNIX/Linux
=======
<PolyspaceInstallDir>/Verifier/bin/polyspace-ver
Windows
=======
<PolySpaceInstallDir>\polyspace\bin\polyspace-ver.exe
(where <PolyspaceInstallDir> is the installation direcory you chose for Polyspace)
For versions R2007a to R2009a, use the instructions below.
Navigate to the <PolyspaceInstallDir>/wbin folder (where <PolyspaceInstallDir> is the installation folder you chose for Polyspace.
To check your licenses, enter the command:
Unix
=====
polyspace[-desktop]-[c|ada|cpp|ada95]-check-license
Windows
=====
polyspace[-desktop-]-[c|cpp|ada95]-check-license.exe
For example:
C:\PolySpace\PolySpaceForADA_R2009a\Verifier\wbin\polyspace-c-check-license.exe
This creates a logfile in the same folder.
Best Answer