A Deductive Approach to the Debugging, Verification, and Modification of Programs.
Interim rept. 1 Oct 81-30 Sep 82,
STANFORD UNIV CA DEPT OF COMPUTER SCIENCE
Pagination or Media Count:
This report summarizes research activities concentrated on the following topics 1 Verification of Concurrent Programs The Temporal Framework 2 Verification of Concurrent Programs Temporal Proof Principles 3 Verification of Sequential Programs Temporal Axiomatization 4 Verification of Concurrent Programs A Temporal Proof System 5 How to Cook a Temporal Proof System for General Languages 6 Verification of Concurrent Programs Proving Eventualities by Well-Founded Ranking 7 Synthesis of Communicating Processes from Temporal Specifications 8 Deductive Synthesis of the Unification Algorithm and 9 Special Relations in Program Synthetic Deduction.
- Administration and Management
- Computer Programming and Software