Login / Signup
ESBMC-Solidity: An SMT-Based Model Checker for Solidity Smart Contracts.
Kunjian Song
Nedas Matulevicius
Eddie B. de Lima Filho
Lucas C. Cordeiro
Published in:
ICSE-Companion (2022)
Keyphrases
</>
model checker
model checking
formal methods
formal verification
temporal logic
formal specification
description language
test suite
symbolic model checking
specification language
data mining
reinforcement learning
state space
orders of magnitude
set theory