我实现了共识算法(基于Paxos)。我添加了一些随机测试用例，看起来不错。但是想通过模型检查进行测试吗？找不到正确的文章。请分享如何在Paxos中进行模型检查
谢谢
最佳答案
您可以使用 Spin Model checker检查系统的抽象描述。
对于基于 Java 的实现，您可以使用 Java Path Finder .
还有mace ，您可以在其中实现和测试 Paxos 等分布式系统，它还支持包含 C 代码。
问候，克里斯蒂安
关于algorithm - 模型检查 Paxos，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/10953498/