A formal verification tool for Ethereum VM bytecode.

Daejun Park Yi Zhang Manasvi Saxena Philip Daian Grigore Rosu

Published in: ESEC/SIGSOFT FSE (2018)

Keyphrases

formal verification
virtual machine
model checking
automated verification
model checker
bounded model checking
distributed systems
source code
operating system
symbolic model checking
data center
java card
program slicing