Weiming Hu, Nianhua Xie, et al.
IEEE TPAMI
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
Kazuaki Ishizaki, Takeshi Ogasawara, et al.
VEE 2012
Jungo Kasai, Kun Qian, et al.
ACL 2019
Conference paper
Bias Mimicking: A Simple Sampling Approach for Bias Mitigation
Maan Qraitem, Kate Saenko, et al.
CVPR 2023