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 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.
Not subscribed to Software Maintenance Service 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 Software Maintenance Service 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.
Available March 2016