模型检查Paxos

作者: 仙风道骨刘憨
发布时间: 2024-11-13 07:41:08 (6天前)
转自：

2 条回复

0#
回复此人
纾潆锦袖迷子 | 2019-08-31 10-32

<div class =“post-text”itemprop =“text”> <P> 你可以使用 <a href="http://spinroot.com/spin/whatispin.html" rel="nofollow"> 旋转模型检查器 </A> 检查系统的抽象描述。 </p> <P> 对于基于Java的实现，您可以使用 <a href="http://javapathfinder.sourceforge.net/" rel="nofollow"> Java Path Finder </A> 。 </p> <P> 还有 <a href="http://www.macesystems.org/" rel="nofollow"> 锤 </A> ，您可以在其中实现和测试像Paxos这样的分布式系统，并且它支持包含C代码。 </p> <P> 此致，基督徒 </p> </DIV>

编辑

登录后才能参与评论