The Status of Verification Technology for the Ada (Trademark) Language

This report provides a detailed research and development plan for the development and deployment of an Ada verification capability. The background, history, and goals of both Ada and verification are discussed. Specific recommendations for integrating verification technology in the software development process (particularly with Ada) are presented. The necessary research items to be pursued in support of the goals are also presented. This report consists of two major sections - the text and supporting appendices and references. The appendices generally describe efforts being undertaken in various areas and are annotated with status and points of contact for further information.