Solidifier: bounded model checking solidity using lazy contract deployment and precise memory modelling.

Pedro Antonino A. W. Roscoe

Published in: SAC (2021)

Keyphrases

bounded model checking
model checking
formal verification
temporal logic
linear temporal logic
multi agent systems
random access
lazy learning
heuristic search
memory usage
learning algorithm
memory requirements
associative memory
limited memory
memory size