MATLAB: What are the system requirements for Polyspace

Polyspace Bug FinderPolyspace Bug Finder ServerPolyspace Client for C/C++Polyspace Code ProverPolyspace Code Prover AccessPolyspace Server for Ada

I would like to know what the system requirements are for Polyspace.

Best Answer

The system requirements for Polyspace should mirror the system requirements for MATLAB. To view the system requirements, visit the following URL and select the appropriate version of Polyspace and platform that you are using:

https://www.mathworks.com/support/sysreq.html

https://www.mathworks.com/products/availability.html

Now some specific hardware guidelines for Polyspace have been published. See pdf attached.

Related Solutions

MATLAB: Can I perform with code verification for Ada if I have Polyspace Bug Finder and PolySpace Code Prover

Code verification for Ada requires the Polyspace Client for Ada, which is a separate product from PolySpace Bug Finder and PolySpace Code Prover.

To purchase the PolySpace Client for Ada, please reach out to your company's MathWorks sales representative, or contact the MathWorks sales department.

MATLAB: How to check the licensing for Polyspace

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

Related Solutions

MATLAB: Can I perform with code verification for Ada if I have Polyspace Bug Finder and PolySpace Code Prover

MATLAB: How to check the licensing for Polyspace

Related Question