Skip to Main Content Skip to Search
Home |   Select Country  Choose Country  |  Contact Us  |  Cart Store 
Create Account | Log In
Products & Services Industries Academia Support User Community Company

 

PolySpace™ Server™ for Ada 5.1

Detect run-time errors and prove code correctness before compile time


Remote Launcher Manager, showing configuration options for PolySpace Server for Ada.

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.
Adobe Acrobat Required  View data sheet (404k)



News and Events
Contact sales
Free technical kit
Trial software
E-mail this page

Get Pricing and
Licensing Options

Upcoming Webinar

PolySpace Products for Simulink Users: Code Generation and Code Verification
Register today

NATO

"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