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 : FEB 1974
Pagination or Media Count : 72
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