A New Verification Strategy for Iterative Programs.
MARYLAND UNIV COLLEGE PARK DEPT OF COMPUTER SCIENCE
Pagination or Media Count:
A new verification strategy for interative programs is described. The technique is based on the idea of applying a correctnessincorrectness preserving transformation to the program to be verified. The transformation is performed in such a way that the new program is substantially easier to verify than the original. Examples which illustrate the use of the technique are presented. The method is compared and contrasted with subgoal induction and the inductive assertion technique. Author
- Computer Programming and Software