• Isar

  • 引用138篇文章[sw04599]
  • 证明或者说,为了人类的理解维修). 可理解的半。。。
  • 水獭

  • 在310篇文章中引用[sw02904]
  • 指导和限制搜索的策略证明. 水獭也可以用来。。。长期积极开发,以及维修最少的支持和支持。我们建议使用水獭/Mace2的继任者。。。
  • 校样通用工具

  • 参考11篇文章[sw09684]
  • 正式管理环境证明整个生命周期:创造,维修以及剥削。框架。。。显示。Provers是后端交互的证明引擎和显示器是交互的组件。。。
  • 冰流

  • 引用5篇文章[sw13077]
  • 语言。机器已检查证明变得越来越大,呈现出维修挑战。伊莎贝尔。。。以前缺乏一种自动化编写的方法证明程序。这会导致更多的重复。。。
  • 欧米茄

  • 引用3篇文章[sw19624]
  • 证明助理,我们的情况是Ω兆。PlatΩ的主要任务是维修...
  • 数学软件

  • 在5703篇文章中引用[sw00554]
  • 几乎所有的工作流程都涉及到计算结果,而且。。。
  • 超小卫星

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

  • 引用811篇文章[sw01059]
  • AUTO是一个连续和分叉的软件。。。
  • 小话

  • 在163篇文章中引用[sw01561]
  • Smalltalk是一个面向对象的、动态类型的、反射的。。。
  • 古洛比

  • 引用了457篇文章[sw04105]
  • 古洛比优化器:最先进的数学规划。。。