PolySpace C/Ada Verifier

PolySpace C Verifier is the industry's first tool designed to directly detect run-time errors and non-deterministic constructs in ANSI C applications at compilation time. PolySpace Ada Verifier is the industry's first tool designed to directly detect run-time errors and non-deterministic constructs in Ada applications at compilation time. PolySpace Verifier does not require execution and modification of the code or time-consuming test cases to be run. Instead, PolySpace Verifier exactly pinpoints the faulty code section that will cause a run-time error if the application was executed

Get Demo | Previous Page | Downloads Search

If you found this page useful, bookmark and share it on: