1 citations · 1 across the 3 of their papers we have counts for
1 paper · 1 filter
Franck Cassez, Joanne Fuller, Aditya Asgaonkar
We report our experience in the formal verification of the reference implementation of the Beacon Chain. The Beacon Chain is the backbone component of the new Proof-of-Stake Ethere…