@misc{indiciae75357e6b938a,
  title = {Formal Verification of the Ethereum 2.0 Beacon Chain},
  author = {Franck Cassez and Joanne Fuller and Aditya Asgaonkar},
  year = {2021},
  url = {https://arxiv.org/abs/2110.12909},
  note = {Source identifier: 2110.12909}
}