How do I check the licensing for Polyspace?

I would like to verify that I have Polyspace installed and licensed properly. Is there a command or program I can run to verify this without submitting code?

Answer 1

[MathWorks Support Team]

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.