Accession Number:

AD0777193

Title:

Prospects for Automatic Verification of Programs.

Descriptive Note:

Technical interim rept. 1 Jul 72-1 Oct 73,

Corporate Author:

MICHIGAN UNIV ANN ARBOR DEPT OF ELECTRICAL ENGINEERING

Personal Author(s):

• Jensen,Erik P.

Report Date:

1974-02-01

Pagination or Media Count:

72.0

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

Descriptors:

• *Computer programming
• Corrections
• Recursive functions
• Computations
• Compilers
• Specifications
• Boolean algebra

Subject Categories:

• Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE