Store 
PolySpace Release
PolySpace Product Changes
The new PolySpace product line contains seven products: a client and a server product for C/C++, a client and a server product for Ada, and three link products.
- PolySpace™ Server™ for C/C++
- PolySpace™ Client™ for C/C++
- PolySpace™ Server™ for Ada
- PolySpace™ Client™ for Ada
- PolySpace™ Model Link™ TL (for dSPACE® TargetLink®)
- PolySpace™ Model Link™ SL (for Simulink®)
- PolySpace™ UML Link™ RH (for Telelogic® Rhapsody®)
All add-ons previously available separately have been incorporated into these products.
PolySpace™ Jumpstart Service
Customized training and consulting for a fast, smooth transition to working with PolySpace products
Converting to New PolySpace Products
| If you own this PolySpace product | You will receive this MathWorks product | Feature and Dependency Changes | Individual License Option | Concurrent License Option |
|---|---|---|---|---|
PolySpace Verifier for C |
PolySpace™ Server for C/C++ | Includes Remote Launcher, Report Generator, DRS/MISRA-C Checker, and HTML generator |
N/A |
√ |
PolySpace Desktop for C |
PolySpace™ Client for C/C++ | Includes Viewer, DRS, MISRA-C Checker, and Report Generator |
√ |
√ |
PolySpace for Model-Based Design - TargetLink |
PolySpace™ Model Link TL (for dSPACE® TargetLink) |
Requires PolySpace™ Client for C/C++ |
√ |
√ |
PolySpace for Model-Based Design - Embedded Coder |
PolySpace™ Model Link SL (for Simulink®) |
Requires PolySpace™ Client for C/C++ |
√ |
√ |
PolySpace for UML - Rhapsody |
PolySpace™ UML Link RH (for Telelogic® Rhapsody®) |
Requires PolySpace™ Client for C/C++ |
√ |
√ |
PolySpace Verifier for Ada95 |
PolySpace™ Server for Ada | Includes Remote Launcher, Report Generator, and HTML generator |
N/A |
√ |
PolySpace Desktop for Ada95 |
PolySpace™ Client for Ada | Includes Viewer and Report Generator |
√ |
√ |
Please contact your MathWorks sales representative for more information regarding your software license.
