Verification-Led Smart Contracts

DOI10.1007/978-3-030-43725-1_9zbMath1520.91440OpenAlexW2954438468MaRDI QIDQ6166532

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)

Cites Work

• Superposition refinement of reactive systems
• Atomic actions, and their refinements to isolated protocols
• Lem
• The B-Book
• Refinement Calculus
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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