Isabelle/Solidity: A deep Embedding of Solidity in Isabelle/HOL

MaRDI QIDQ7361341FDO

Authors Diego Marmsoler, Achim D. Brucker

Publication date 18 July 2022

Cites work

• An overview of the K semantic framework
• Dependent types and multi-monadic effects in \(\mathrm{F}^*\)
• Unnamed Publication
• Is Solidity Solid Enough?
• Isabelle/HOL. A proof assistant for higher-order logic
• Keccak
• Lem: reusable engineering of real-world semantics

This page was built for software: Isabelle/Solidity: A deep Embedding of Solidity in Isabelle/HOL