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.

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 RD activities. Working groups on special topics were also established.