@misc{dagstuhl-artifact-23081,
title = {{FinCert}},
author = {Sorensen, Derek},
note = {Software (visited on 2025-05-16)},
url = {https://github.com/dhsorens/FinCert/tree/FMBC-25},
doi = {10.4230/artifacts.23081},
}
Related Article
Derek Sorensen. Formally Specifying Contract Optimizations with Bisimulations in Coq. In 6th International Workshop on Formal Methods for Blockchains (FMBC 2025). Open Access Series in Informatics (OASIcs), Volume 129, pp. 11:1-11:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
https://doi.org/10.4230/OASIcs.FMBC.2025.11