• 风车

• 参考7篇文章[sw08199]
• 文学过错-宽容分布式系统中的计算（例如。，拜占庭协议，令牌环。。。

• 时钟同步

• 1条引用[sw28680]
• 时钟同步。我们将广义拜占庭 过错-宽容施耐德时钟同步协议。这个。。。

• 施耐德时钟同步

• 1条引用[sw28681]
• 概括了许多协议拜占庭 过错-宽容时钟同步和呈现统一的。。。

• ByMC公司

• 引用4篇文章[sw21699]
• 拜占庭模型检查器）。ByMC是一个用于阈值保护的参数化模型检查的工具集过错...宽容检查我们的分布式基准测试算法。算法在我们的扩展中被编码。。。

• 旋转

• 引用712篇文章[sw03455]
• Spin是一个流行的开源软件工具。。。

• 努西姆

• 引用298篇文章[sw04131]
• NuSMV是一个符号模型检查器，它是作为。。。

• TLA公司

• 在26篇文章中引用[sw04442]
• TLA代表动作的时间逻辑。。。

• z3型

• 引用509篇文章[sw04887]
• Z3是一个高性能的定理证明器。。。

• 维夫

• 参考12篇文章[sw05804]
• 虚拟理想功能框架。虚拟理想。。。

• 柱脚

• 引用57篇文章[sw07091]
• 逗留，普林格林，皮科萨和precosat在sat比赛。。。

• CVC4

• 引用107篇文章[sw09485]
• CVC4是一个有效的开源自动定理。。。

• 常春藤

• 参考33篇文章[sw10279]
• 艾薇：一个预处理器和校对器。。。

• 苏尔克

• 第122条引用[sw11355]
• 实用隐私：SuLQ框架。我们考虑。。。

• 糕点

• 引用107篇文章[sw11775]
• 糕点：可伸缩的，分散的对象位置，和路由。。。

• 重建

• 引用42篇文章[sw13314]
• 流连、缠绵与重演：流连与它的平行。。。

• 团结

• 在184篇文章中引用[sw13461]
• 统一仿真模型开发与分析。我们。。。

• 心理同步

• 引用4篇文章[sw17450]
• PSync：一种部分同步的语言过错-宽容...

• 远端

• 引用2篇文章[sw17451]
• 远端：实现过错-宽容分布式。。。

• nuXmv公司

• 引用23条[sw18526]
• nummv符号模型检查器。本文描述了。。。

• 快

• 引用了37篇文章[sw21268号]
• 快速：符号转换系统的快速加速。快。。。