Re:Paxos automatically determined safe and secure
by _r2gl on Wednesday October 27, 2021 @08:49PM
(#29021003)
The conclusion in the paper states it's left as future work.
"Future work
also includes automatically inferring inductive proofs for other
distributed protocols, such as Byzantine Paxos [15], Raft [90],
etc., and exploring the verification of consensus algorithms in
blockchain applications.
"
"Future work also includes automatically inferring inductive proofs for other distributed protocols, such as Byzantine Paxos [15], Raft [90], etc., and exploring the verification of consensus algorithms in blockchain applications. "
https://arxiv.org/pdf/2108.08796.pdf