Report - module BPConProof · 2020. 7. 25. · module BPConProof This module speci es a Byzantine Paxos algorithm{a version of Paxos in which failed acceptors and leaders can be malicious.

Please pass captcha verification before submit form