Ashley Card, Diego Marmsoler. Isabelle/EVM: A Novel Formalization of the EVM in Isabelle/HOL. In Massimo Bartoletti, Diego Marmsoler, editors, 7th International Workshop on Formal Methods for Blockchains, FMBC 2026, Turin, Italy, April 11, 2026. Volume 142 of OASIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026. [doi]
@inproceedings{CardM26,
title = {Isabelle/EVM: A Novel Formalization of the EVM in Isabelle/HOL},
author = {Ashley Card and Diego Marmsoler},
year = {2026},
doi = {10.4230/OASIcs.FMBC.2026.3},
url = {https://doi.org/10.4230/OASIcs.FMBC.2026.3},
researchr = {https://researchr.org/publication/CardM26},
cites = {0},
citedby = {0},
booktitle = {7th International Workshop on Formal Methods for Blockchains, FMBC 2026, Turin, Italy, April 11, 2026},
editor = {Massimo Bartoletti and Diego Marmsoler},
volume = {142},
series = {OASIcs},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik},
isbn = {978-3-95977-424-6},
}