• 风车

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

• 电源存储

• 1条引用【sw19545】
• 高效可靠的存储。现有的拜占庭 过错实现强一致性的容错（BFT）存储解决方案。。。包括允许网络中断，最大数量拜占庭存储服务器，任意数量的拜占庭读者。。。协议，包括只允许崩溃的协议断层...

• 时钟同步

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

• 施耐德时钟同步

• 1条引用[sw28681]
• 概括了许多协议拜占庭 过错-容忍时钟同步，并提出了一种统一的时钟同步方法。。。

• ByMC公司

• 引用4篇文章[sw21699]
• 拜占庭模型检查器）。ByMC是一个用于阈值保护的参数化模型检查的工具集过错...

• 超小卫星

• 引用文献531篇[sw00577]
• 可扩展的SAT解算器。MiniSat是一个极简主义者。。。

• 旋转

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

• 努西姆

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

• TLA公司

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

• 林多

• 引用535篇文章[sw04448]
• 林多系统优化软件：整数规划，线性规划。。。

• z3型

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

• 维夫

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

• 柱脚

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

• CoBFIT公司

• 1条引用[sw08386]
• CoBFIT工具箱。。。

• 琳达

• 参考文献103篇[sw09427]
• 琳达的生成性沟通。生成性沟通是。。。

• CVC4

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

• TLAP公司

• 引用9篇文章[sw09528]
• TLA+证明系统（TLAP）机械地检查TLA。。。

• 魅力

• 引用9篇文章[sw10192]
• Charm：一个快速原型化密码系统的框架。我们。。。

• 常春藤

• 引用了30篇文章[sw10279]
• 艾薇：一个预处理器和校对器。。。

• 卡桑德拉

• 引用25篇文章[sw10949]
• 结构化存储系统：Cassandra。卡桑德拉是。。。