• 风车

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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