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

Report Date:

1985-12-01

Pagination or Media Count:

389.0

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.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE