Verification-Led Smart Contracts

DOI10.1007/978-3-030-43725-1_9MaRDI QIDQ6166532zbMATH OpenOpenAlexFDO

Authors Richard Banach

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_9

zbMATH Keywords

verificationrefinementEvent-Bblockchainsmart contractRodinSolidity

Mathematics Subject Classification ID

Cryptography (94A60) Actuarial science and mathematical finance (91G99)

Recommendations

• Formal verification of atomicity requirements for smart contracts
• Validation of decentralised smart contracts through game theory and formal methods
• Compositional verification of smart contracts through communication abstraction

Cites work

• scientific article; zbMATH DE number 5595162 (Why is no real title available?)
• scientific article; zbMATH DE number 3909745 (Why is no real title available?)
• scientific article; zbMATH DE number 3664335 (Why is no real title available?)
• scientific article; zbMATH DE number 1258883 (Why is no real title available?)
• Atomic actions, and their refinements to isolated protocols
• Lem: reusable engineering of real-world semantics
• Modeling in Event B. System and software engineering.
• Refinement Calculus
• Superposition refinement of reactive systems
• The B-Book

Cited in

(9)

• Smart Contract Execution - the (+-)-Biased Ballot Problem.
• Compositional verification of smart contracts through communication abstraction
• Formal verification of Ethereum smart contracts using Isabelle/HOL
• Formal verification of atomicity requirements for smart contracts
• Soft contract verification
• Validation of decentralised smart contracts through game theory and formal methods
• Adding concurrency to smart contracts
• Smart contract derivatives
• SSCalc: a calculus for Solidity smart contracts

This page was built for publication: Verification-Led Smart Contracts

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