Verifying Solidity Smart Contracts via Communication Abstraction in SmartACE
Abstract elided by the publisher.
Related papers
- Compositional Verification of Smart Contracts Through Communication Abstraction SAS 2021
- PhD Abstracts JFP 2025
- SolCMC: Solidity Compiler's Model Checker CAV 2022
- SMT-Friendly Formalization of the Solidity Memory Model ESOP 2020
- A study of inline assembly in solidity smart contracts OOPSLA 2022
- SolType: refinement types for arithmetic overflow in solidity POPL 2022
- VarLifter: Recovering Variables and Types from Bytecode of Solidity Smart Contracts OOPSLA 2024
- SolTG: A CHC-Based Solidity Test Case Generator CAV 2024