Type safety for Isabelle/Solidity

DOI10.1016/J.TCS.2025.115632MaRDI QIDQ6851453zbMATH OpenFDO

Authors Billy Thornton, Diego Marmsoler

Publication date 27 February 2026

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.TCS.2025.115632

zbMATH Keywords

Isabelle/Solidityprogram verificationsmart contractssoliditytype safety

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• Concrete semantics. With Isabelle/HOL
• scientific article; zbMATH DE number 1424012 (Why is no real title available?)
• Is Solidity Solid Enough?
• Isabelle/HOL. A proof assistant for higher-order logic
• Keccak
• Secure Microkernels, State Monads and Scalable Refinement
• Type safety for Isabelle/Solidity

This page was built for publication: Type safety for Isabelle/Solidity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6851453)