Prospects for Automatic Verification of Programs.
Technical interim rept. 1 Jul 72-1 Oct 73,
MICHIGAN UNIV ANN ARBOR DEPT OF ELECTRICAL ENGINEERING
Pagination or Media Count:
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
- Computer Programming and Software