Proceedings of the IDA Workshop on Formal Specification and Verification of Ada (Trade Name) (1st) Held in Alexandria, Virginia on 18-20 March 1985.
INSTITUTE FOR DEFENSE ANALYSES ALEXANDRIA VA
Pagination or Media Count:
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.
- Computer Programming and Software