Proceedings of the IDA (Institute for Defense Analyses) Workshop on Formal Specification and Verification of Ada (Trade Name) (2nd) Held in Alexandria, Virginia on July 23-25, 1985.
Abstract
The Second Workshop identified current issues in Ada Verification and focused on what is needed to build the foundation of an Ada Verification Technology. IDA workshops will continue to be a meeting place for accessing the current state-of-the-art, identifying promising research areas, monitoring ongoing verification work, promoting the use of the evolving technology, and ensuring that valuable outputs from one area are fed into other areas. The desired product of these workshops will be recommendations to various bodies to coordinate and sponsor certain R&D activities. Working groups on special topics were also established.
Document Details
- Document Type
- Technical Report
- Publication Date
- Nov 01, 1985
- Accession Number
- ADA172747
Entities
People
- Stephen R. Welke
- W. T. Mayfield
Organizations
- Institute for Defense Analyses