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) : Mayfield,W T ; Welke,Stephen R


Full Text : https://apps.dtic.mil/dtic/tr/fulltext/u2/a172747.pdf


Report Date : Nov 1985


Pagination or Media Count : 357


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.


Descriptors :   *HIGH LEVEL LANGUAGES , MILITARY STRATEGY , SPECIFICATIONS , COMPUTER PROGRAMMING , PROGRAMMING LANGUAGES , SECURITY , COMPUTER PROGRAM VERIFICATION


Subject Categories : Computer Programming and Software


Distribution Statement : APPROVED FOR PUBLIC RELEASE