The Proof of Correctness Approach to Reliable Systems.

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)

Document Details

Document Type
Technical Report
Publication Date
Jul 01, 1971
Accession Number
AD0731753

Entities

People

  • Barbara H. Liskov
  • Edwin Towster

Organizations

  • MITRE Corporation

Tags

DTIC Thesaurus Topics

  • Literature
  • Reliability

Fields of Study

  • Computer science
  • Engineering

Readers

  • Software Engineering.
  • Systems Analysis and Design