Is Solidity Solid Enough?

DOI10.1007/978-3-030-43725-1_11MaRDI QIDQ6166533zbMATH OpenOpenAlexFDO

Authors

Publication date 3 August 2023

Published in Financial Cryptography and Data Security (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-43725-1_11

zbMATH Keywords

operational semanticstype soundnesssmart contracts

Mathematics Subject Classification ID

Cryptography (94A60) Software, source code, etc. for problems pertaining to game theory, economics, and finance (91-04) Actuarial science and mathematical finance (91G99)

Cited in

(4)

• Formal verification of atomicity requirements for smart contracts
• SSCalc: a calculus for Solidity smart contracts
• scientific article; zbMATH DE number 7471670 (Why is no real title available?)
• A formal model of Algorand smart contracts

This page was built for publication: Is Solidity Solid Enough?

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