A Formal Verification Framework for Tezos Smart Contracts Based on Symbolic Execution
No abstract available.
Related papers
- Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types TACAS 2021
- Formalising Decentralised Exchanges in Coq CPP 2023
- Extracting smart contracts tested and verified in Coq CPP 2021
- A Dynamic Logic for Symbolic Execution for the Smart Contract Programming Language Michelson ECOOP 2024
- Formally Verified EVM Block-Optimizations CAV 2023
- Cost Analysis of Smart Contracts Via Parametric Resource Analysis SAS 2020
- Fast and Reliable Formal Verification of Smart Contracts with the Move Prover TACAS 2022
- A Typed Programmatic Interface to Contracts on the Blockchain APLAS 2021