Formal Verification of Consensus Algorithms Tolerating Malicious Faults.

Bernadette Charron-Bost, Henri Debrat, Stephan Merz

Browse the full SSS paper archive.