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.
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.
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.
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.
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
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.