Details on-line at
www.polyspace.com
Introduced in '99 The PolySpace Ada Verifier is a unique solution that will dramatically reduce your debugging time and will greatly assist you in the deployment of run-time error free, embedded software. Based on our proven enhanced Abstract Interpretation techniques, PolySpace is the first development tool able to automatically detect 100% of run-time errors and concurrent accesses to shared data at the earliest possible stages and prior to compilation!!! The quickest way to find constraint errors before they surface during tests or at lab.
That means a non intrusive tool with:
Chris HOTE
Cell: 617-943-8564
Fax: 978-524-4162
URL: http://www.polyspace.com