我已经实现了共识算法（基于 Paxos）。我添加了一些随机测试用例，看起来不错。但是想通过模型检查进行测试？找不到正确的文章。请分享如何在 Paxos 中进行模型检查
谢谢
问问题
473 次
1 回答
1
您可以使用自旋模型检查器来检查系统的抽象描述。
对于基于 Java 的实现，您可以使用Java Path Finder。
还有mace，您可以在其中实现和测试 Paxos 等分布式系统，并且它支持包含 C 代码。
问候， 克里斯蒂安
于 2013-03-27T16:51:22.810 回答