Formal Verification of the Ethereum 2.0 Beacon Chain.

Franck Cassez Joanne Fuller Aditya Asgaonkar

Published in: TACAS (1) (2022)

Keyphrases

formal verification
model checking
automated verification
wireless sensor networks
model checker
bounded model checking
symbolic model checking
program slicing
localization algorithm
position information
temporal logic
knowledge representation
test set
partial order
functional verification