Accession Number : ADA114000

Title :   A New Verification Strategy for Iterative Programs.

Descriptive Note : Technical rept.,

Corporate Author : MARYLAND UNIV COLLEGE PARK DEPT OF COMPUTER SCIENCE

Personal Author(s) : Dunlop,Douglas D ; Basili,Victor R

PDF Url : ADA114000

Report Date : Oct 1981

Pagination or Media Count : 23

Abstract : A new verification strategy for interative programs is described. The technique is based on the idea of applying a correctness/incorrectness 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)

Descriptors :   *Computer program verification, *Iterations, Strategy, Transformations, Comparison, Contrast, Heuristic methods

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE