Wei Zhang, Timothy Wood, et al.
ICAC 2014
Paper
Path Calculus in Program Verification
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.
Related
Robert Farrell, Rajarshi Das, et al.
AAAI-SS 2010
Paper
Magic functions
Cynthia Dwork, Moni Naor, et al.
Journal of the ACM
Zijian Ding, Michelle Brachman, et al.
C&C 2025