Conference paper
A Comparison of End-to-End Decision Forest Inference Pipelines
Hong Guan, Saif Masood, et al.
SoCC 2023
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.
Hong Guan, Saif Masood, et al.
SoCC 2023
L. Joskowicz, Elisha Sacks
aaai 1994
P.C. Yue, C.K. Wong
Journal of the ACM
Els van Herreweghen, Uta Wille
USENIX Workshop on Smartcard Technology 1999