Integrating the Ada Analyzer into the Software Development Process

Ada Auditing A Comparison of Ada Analyzer with AdaMat>

Static Analysis Using the Ada Semantic Interface Specification (ASIS)

Planning an Evaluation of the Ada Analyzer