Formal Verification of Atomicity Requirements for Smart Contracts
No abstract available.
DOI 10.1007/978-3-030-64437-6_3
Related papers
- A Formal Verification Framework for Tezos Smart Contracts Based on Symbolic Execution APLAS 2024
- Foundations and Tools for the Static Analysis of Ethereum Smart Contracts CAV 2018
- Rich specifications for Ethereum smart contract verification OOPSLA 2021
- End-to-End Formal Verification of Ethereum 2.0 Deposit Smart Contract CAV 2020
- Fast and Reliable Formal Verification of Smart Contracts with the Move Prover TACAS 2022
- Behavioral simulation for smart contracts PLDI 2020
- Practical smart contract sharding with ownership and commutativity analysis PLDI 2021
- Towards verifying ethereum smart contract bytecode in Isabelle/HOL CPP 2018