@article{DBLP:journals/corr/abs-2110-12909,
  author    = {Franck Cassez and
               Joanne Fuller and
               Aditya Asgaonkar},
  title     = {Formal Verification of the Ethereum 2.0 Beacon Chain},
  journal   = {CoRR},
  volume    = {abs/2110.12909},
  year      = {2021},
  url       = {https://arxiv.org/abs/2110.12909},
  eprinttype = {arXiv},
  eprint    = {2110.12909},
  timestamp = {Thu, 28 Oct 2021 15:25:31 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-2110-12909.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"2bfqWm2Cvh7pnXBCr","bibbaseid":"cassez-fuller-asgaonkar-formalverificationoftheethereum20beaconchain-2021","author_short":["Cassez, F.","Fuller, J.","Asgaonkar, A."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Franck"],"propositions":[],"lastnames":["Cassez"],"suffixes":[]},{"firstnames":["Joanne"],"propositions":[],"lastnames":["Fuller"],"suffixes":[]},{"firstnames":["Aditya"],"propositions":[],"lastnames":["Asgaonkar"],"suffixes":[]}],"title":"Formal Verification of the Ethereum 2.0 Beacon Chain","journal":"CoRR","volume":"abs/2110.12909","year":"2021","url":"https://arxiv.org/abs/2110.12909","eprinttype":"arXiv","eprint":"2110.12909","timestamp":"Thu, 28 Oct 2021 15:25:31 +0200","biburl":"https://dblp.org/rec/journals/corr/abs-2110-12909.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/corr/abs-2110-12909,\n author = {Franck Cassez and\n Joanne Fuller and\n Aditya Asgaonkar},\n title = {Formal Verification of the Ethereum 2.0 Beacon Chain},\n journal = {CoRR},\n volume = {abs/2110.12909},\n year = {2021},\n url = {https://arxiv.org/abs/2110.12909},\n eprinttype = {arXiv},\n eprint = {2110.12909},\n timestamp = {Thu, 28 Oct 2021 15:25:31 +0200},\n biburl = {https://dblp.org/rec/journals/corr/abs-2110-12909.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Cassez, F.","Fuller, J.","Asgaonkar, A."],"key":"DBLP:journals/corr/abs-2110-12909","id":"DBLP:journals/corr/abs-2110-12909","bibbaseid":"cassez-fuller-asgaonkar-formalverificationoftheethereum20beaconchain-2021","role":"author","urls":{"Paper":"https://arxiv.org/abs/2110.12909"},"metadata":{"authorlinks":{}},"html":""},"bibtype":"article","biburl":"https://franck44.github.io/publications/franck-pubs.bib","dataSources":["8742EsvjQfyP2fYBW"],"keywords":[],"search_terms":["formal","verification","ethereum","beacon","chain","cassez","fuller","asgaonkar"],"title":"Formal Verification of the Ethereum 2.0 Beacon Chain","year":2021}