Store 
PolySpace Server for Ada 5.4
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
Register to view now
PolySpace belongs to a new generation
of analysis tools. It represents a large step
forward for the verification of safety-related
software.