Store 
PolySpace™ Server™ for Ada 5.1.1
Detect run-time errors and prove code correctness before compile time
The PolySpace™ Server™ for Ada product, together with the PolySpace™ Client™ for Ada 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.
|
|
View data sheet (404k)
|
FREE Product
PolySpace has enabled us to
attain a superior level of software
reliability - on-time and on-budget.
We could not have done so much, so fast, by
relying solely on conventional testing.
Read this story