Accession Number:

ADA172747

Title:

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.

Descriptive Note:

Final rept.,

Corporate Author:

INSTITUTE FOR DEFENSE ANALYSES ALEXANDRIA VA

Personal Author(s):

Report Date:

1985-11-01

Pagination or Media Count:

357.0

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

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE