Store 
PolySpace™ Client™ for C/C++ 5.1.1
Detect run-time errors and prove code correctness before compile time
The PolySpace™ Client™ for C/C++ product, together with the PolySpace™ Server™ for C/C++ product, provides a code-based verification tool that proves source code reliability and detects run-time errors in source code without requiring you to execute or modify the code. You can verify a combination of generated and hand-written code before it is compiled.
|
|
View data sheet (544k)
|
FREE Product
MathWorks tools and Model-Based Design enabled us to cut development time in half, eliminate errors associated with hand-coding, and proceed to clinical trials more quickly and with a higher level of confidence.
Read this story