Login / Signup
Formalising and verifying smart contracts with Solidifier: a bounded model checker for Solidity.
Pedro Antonino
A. W. Roscoe
Published in:
CoRR (2020)
Keyphrases
</>
model checking
model checker
temporal logic
formal verification
formal specification
formal methods
symbolic model checking
description language
machine learning
search algorithm
knowledge based systems
orders of magnitude
domain independent
test suite
specification language