我想证明我对 multi-paxos 的实现是正确的。是否有任何有效的示例供我测试?或者可以有其他一些方法来说服其他人我的实施是正确的。
我试图找到一些包含示例的论文,但大多数论文只是指定了算法。
consensus paxos proof-of-correctness
consensus ×1
paxos ×1
proof-of-correctness ×1