A Heuristic Approach to Program Verification. AIM-191
- Title:
- A Heuristic Approach to Program Verification. AIM-191
- Author:
- Katz, Shmuel M. and Manna, Zohar
- Author (no Collectors):
- Katz, Shmuel M. and Manna, Zohar
- Collector:
- Katz, Shmuel M. and Manna, Zohar
- Description:
-
We present various heuristic techniques for use in proving the
correctness of computer programs. The techniques are designed to
obtain automatically the "inductive assertions" attached to the loops
of the program which previously required human "understanding" of the
program's approaches: one in which we obtain the inductive assertion
by analyzing predicates which are known to be true at the entrances
and exits of the loop (top-down approach), and another in which we
generate the inductive assertion directly from the statements of the
loop (bottom-up approach).
- Topic:
- Artificial intelligence
- Subject:
- Stanford Artificial Intelligence Laboratory and Memo (Stanford Artificial Intelligence Laboratory)
- Language:
- English
- Physical Description:
- 1 text file
- Publication Info:
- Stanford (Calif.) and cau
- Date:
- March 1973
- Place created:
- Stanford (Calif.)
- Imprint:
- Stanford (Calif.), March 1973
- Genre:
- memorandums
- Identifier:
- AIM-191
- Repository:
- Stanford University. Libraries. Department of Special Collections and University Archives
- Collection:
- Stanford Artificial Intelligence Laboratory records, 1963-2009
- Manuscript number:
- SC1041