Formal Verification of the Ethereum 2.0 Beacon Chain.

Franck Cassez Joanne Fuller Aditya Asgaonkar

Published in: CoRR (2021)

Keyphrases

formal verification
model checking
model checker
symbolic model checking
bounded model checking
automated verification
wireless sensor networks
program slicing
functional verification
temporal logic
localization algorithm
open source
location information
formal methods