• 风车

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

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

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

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

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

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

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

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

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

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

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

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

  • 引用2篇文章[sw17451]
  • 远端:实现过错-宽容分布式。。。
  • 引用了37篇文章[sw21268号]
  • 快速:符号转换系统的快速加速。快。。。