The SofTech Ada verification project
N. COHEN · 1985
SofTech, Inc. is conducting an internal research and development project investigating the formal verification of Ada software. This project has developed a formal description of the Ada language's semantics; specified requirements for a system to verify Ada software; formulated the high-level design of a verification system meeting those requirements; and supported the activities of an ongoing Ada Verification Workshop. Verification of software written in the Ada language presents problems and opportunities that do not arise with other languages, so unique approaches have been devised.