Towards a Verified Model of the Algorand Consensus Protocol in Coq.

Musab A. Alturki, Jing Chen, Victor Luchangco, Brandon M. Moore, Karl Palmskog, Lucas Pea, Grigore Rosu

Browse the full FM paper archive.