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
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