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

 

PolySpace Client for Ada 5.2

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


PolySpace Viewer showing color-coding for each file, procedure, and line of Ada code. PolySpace Queue Manager Interface listing jobs posted to PolySpace Server for Ada.

PolySpace™ Client™ for Ada, together with PolySpace™ Server™ for Ada, 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 (486k)



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

Get Pricing and
Licensing Options

Upcoming Webinar

Best Practices for Verification, Validation, and Test in Model-Based Design new
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