• Classified by Research Topic • Sorted by Date • Classified by Publication Type •
Verification of the CVM Algorithm with a Functional Probabilistic Invariant.
Emin Karayel, Seng Joe Watt, Derek Khu, Kuldeep S. Meel and Yong Kiam Tan.
In Interactive Theorem Proving (ITP), pp. 34:1–34:20, 2025.
(unavailable)
@inproceedings{KarayelWKMT25ITP,
title={Verification of the CVM Algorithm with a Functional Probabilistic Invariant},
author={Karayel, Emin and Watt, Seng Joe and Khu, Derek and Meel, Kuldeep S. and Tan, Yong Kiam},
booktitle={Interactive Theorem Proving (ITP)},
pages={34:1--34:20},
year={2025},
bib2html_rescat={Formal Methods},
bib2html_pubtype={Refereed Conference},
bib2html_dl_pdf={https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITP.2025.34},
}
Generated by bib2html.pl (written by Patrick Riley with layout from Sanjit A. Seshia ) on Mon Dec 01, 2025 18:50:36