|
|
|
|
|
|
by _r2gl
1697 days ago
|
|
|
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.
" https://arxiv.org/pdf/2108.08796.pdf |
|
|