Product Releases

Release 2013b Products with License-Related Changes

Several Polyspace products have license-related changes in R2013b. To use the latest version of each product, you must have a subscription to MathWorks Software Maintenance Service (SMS) as of R2013b.

Polyspace Client for C/C++, Polyspace Model Link SL, Polyspace Model Link TL, and Polyspace UML Link RH

As of R2013b, Polyspace Client for C/C++, Polyspace Model Link SL, Polyspace Model Link TL, and Polyspace UML Link RH have been merged and renamed Polyspace Bug Finder. Polyspace Client for C/C++, Polyspace Model Link SL, Polyspace Model Link TL, and Polyspace UML Link RH are no longer available for purchase separately. Polyspace Bug Finder requires MATLAB.

Polyspace Server for C/C++

As of R2013b, Polyspace Server for C/C++ has been renamed Polyspace Code Prover. Polyspace Server for C/C++ is no longer available for purchase separately. Polyspace Code Prover requires Polyspace Bug Finder.

Additional Polyspace Product License Changes

The new Polyspace products may be used on either desktop computers or computer clusters. Depending on your license configuration, Parallel Computing Toolbox and MATLAB Distributed Computing Server products may be added to licenses to use the new products on computer clusters.

If you are:

Subscribed to SMS as of R2013b for the following products:

Polyspace Client for C/C++
Polyspace Model Link SL
Polyspace Model Link TL
Polyspace UML Link RH

Your license will be updated to include the following products at no initial cost:

Polyspace Bug Finder 1.0
MATLAB 8.2
Polyspace Code Prover 9.0

They will appear on future SMS renewal invoices.

Note: Polyspace Code Prover will be added only if you also have a license for Polyspace Server for C/C++. See table below.

Not subscribed to SMS as of R2013b for the following products:

Polyspace Client for C/C++
Polyspace Model Link SL
Polyspace Model Link TL
Polyspace UML Link RH

Your license will be updated to include the following products at no initial cost:

Polyspace Bug Finder 1.0
MATLAB 8.2
Polyspace Code Prover 9.0

You will need to renew your SMS subscription to access the updated products.

Note: Polyspace Code Prover will be added only if you also have a license for Polyspace Server for C/C++. See table below.

Subscribed to SMS as of R2013b for Polyspace Server for C/C++

Your license will be updated to include the following products at no initial cost:

Polyspace Code Prover 9.0
Polyspace Bug Finder 1.0
MATLAB 8.2
Parallel Computing Toolbox 6.3
MATLAB Distributed Computing Server 6.3 (16 workers)

They will appear on future SMS renewal invoices.

Note: Parallel Computing Toolbox and MATLAB Distributing Computing Server will be added only if your licenses are updated for use on computer clusters.

Not subscribed to SMS as of R2013b for Polyspace Server for C/C++

Your license will be updated to include the following products at no initial cost:

Polyspace Code Prover 9.0
Polyspace Bug Finder 1.0
MATLAB 8.2
Parallel Computing Toolbox 6.3
MATLAB Distributed Computing Server 6.3 (16 workers)

You will need to renew your SMS subscription to access the updated products.

Note: Parallel Computing Toolbox and MATLAB Distributed Computing Server will be added only if your licenses are updated for use on computer clusters.

Visit the License Center to see how your licenses have been configured.