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