Formal Verification of Consensus Algorithms in a Proof Assistant (2010)

by H DEBRAT, B CHARRON-BOST, S MERZ
Venue:in "2010 Grande Region Security and Reliability Day