Accession Number:

AD0731753

Title:

The Proof of Correctness Approach to Reliable Systems.

Descriptive Note:

Technical rept.,

Corporate Author:

MITRE CORP BEDFORD MASS

Personal Author(s):

Report Date:

1971-07-01

Pagination or Media Count:

45.0

Abstract:

The work on proof of correctness of programs is identified as the only method leading to guaranteed reliability of software. A survey of the literature on this subject is given. The approaches and results are analyzed and research projects are proposed which apply these results to the building of reliable software systems. Author

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE