TY  - RPRT
TI  - Formal Verification of the Ethereum 2.0 Beacon Chain
AU  - Franck Cassez
AU  - Joanne Fuller
AU  - Aditya Asgaonkar
PY  - 2021
UR  - https://arxiv.org/abs/2110.12909
ID  - 2110.12909
ER  -