Proceedings of the IDA Workshop on Formal Specification and Verification of Ada (Trade Name) (1st) Held in Alexandria, Virginia on 18-20 March 1985.

摘要

The first IDA Workshop identified current issues in Ada verification: the uses of formal verification; what verification techniques and verification systems are available; what practical experience is there in the use of these approaches and who has this experience; what impact does Ada have on verification (both before and during coding activities); what are the major problems in the verification field; and what needs to be done to overcome these problems. Slides presented at the two-and-half day workshop are included.