Automated Verification of a Randomized Distributed Consensus Protocol Using Cadence SMV and PRISM.

Marta Z. Kwiatkowska, Gethin Norman, Roberto Segala

Browse the full CAV paper archive.