Store 
PolySpace Client for C/C++ 6.0
Detect run-time errors and prove code correctness before compile time
PolySpace Client™ for C/C++, in conjunction with PolySpace Server™ for C/C++, provides code-based verification that proves the absence of errors in source code. It ensures code reliability by detecting run-time and other software errors without requiring program execution, code instrumentation, or test cases. You can verify handwritten code, automatically generated code, or a combination of the two, before compilation and test.
|
|
View data sheet (286k)
|
FREE Product
Register today
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.