Accession Number : ADA171507


Title :   Proceedings of the IDA Workshop on Formal Specification and Verification of Ada (Trade Name) (1st) Held in Alexandria, Virginia on 18-20 March 1985.


Descriptive Note : Memorandum rept.,


Corporate Author : INSTITUTE FOR DEFENSE ANALYSES ALEXANDRIA VA


Personal Author(s) : Roby,Clyde G


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


Report Date : Dec 1985


Pagination or Media Count : 389


Abstract : 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.


Descriptors :   *PROGRAMMING LANGUAGES , DEPARTMENT OF DEFENSE , SPECIFICATIONS , COMPUTER PROGRAMMING , COMPUTER PROGRAM VERIFICATION , HIGH LEVEL LANGUAGES , WORKSHOPS


Subject Categories : Computer Programming and Software


Distribution Statement : APPROVED FOR PUBLIC RELEASE