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: CoRR (2021)

Keyphrases

model checker
model checking
formal verification
description language
formal methods
temporal logic
formal specification
symbolic model checking
test suite
specification language
domain specific
set theory
genetic algorithm
ai planning
petri net
binary decision diagrams
general purpose
training set