Verification of the CVM Algorithm with a Functional Probabilistic Invariant.

Emin Karayel, Seng Joe Watt, Derek Khu, Kuldeep S. Meel, Yong Kiam Tan

Browse the full ITP paper archive.