Publication
Journal of the ACM
Paper

Path Calculus in Program Verification

Download paper

Abstract

A method for proving and disprowng propemes of programs ts described Its mam features are Recurstvely defined procedures can be used m assemons, loop mvarlants are not necessary, absence of run time errors is proven, counterexamples to incorrect programs can be given Experience with the method's lmplementaUon is reported. © 1978, ACM. All rights reserved.

Date

Publication

Journal of the ACM

Authors

Topics

Resources

Share