AdaSTAT is a platform and compiler independent application that:

AdaSTAT's layered architecture consists of four key components:

Enhances Safety by Making Hazard Elimination Much Easier
By facilitating safety verification, AdaSTAT helps reduce the risk of failures by:

Reduces Time and Costs Associated with Code Analysis
AdaSTAT dramatically reduces the time and resources required for static code analysis by enabling programmers and QA personnel to automatically scan source code for:

Get Demo | Previous Page | Downloads Search

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