Algorithm 模型检查Paxos
我已经实现了一致性算法（基于Paxos）。我添加了一些随机测试用例，看起来不错。但是想通过模型检查进行测试吗？找不到适合它的文章。请分享如何在Paxos中进行模型检查 谢谢您可以使用检查系统的抽象描述 对于基于Java的实现，您可以使用 另外，您还可以在其中实现和测试分布式系统，如Paxos，它还支持包含C代码Algorithm 模型检查Paxos,algorithm,distributed-system,paxos,model-checking,consensus,Algorithm,Distributed System,Paxos,Model Checking,Consensus,我已经实现了一致性算法（基于Paxos）。我添加了一些随机测试用例，看起来不错。但是想通过模型检查进行测试吗？找不到适合它的文章。请分享如何在Paxos中进行模型检查 谢谢您可以使用检查系统的抽象描述 对于基于Java的实现，您可以使用 另外，您还可以在其中实现和测试分布式系统，如Paxos，它还支持包含C代码 你好，克里斯蒂安我想你的运气会更好
你好，克里斯蒂安我想你的运气会更好