Prospects for Automatic Verification of Programs.

Abstract

The program verification problem is discussed and several implementations of methods for proving computer programs correct with respect to their specifications are reviewed. The practical limitations of such implementations are presented, and the prospects for automatic verification of a useful class of program specification pairs are discussed. (Author)

Document Details

Document Type
Technical Report
Publication Date
Feb 01, 1974
Accession Number
AD0777193

Entities

People

  • Erik P. Jensen

Organizations

  • University of Michigan

Tags

DTIC Thesaurus Topics

  • Automatic
  • Computer Programs
  • Computers
  • Specifications
  • Verification

Readers

  • Computational Linguistics
  • Systems Analysis and Design