• Isar

  • 在144篇文章中引用[sw04599]
  • 证明这是符合人类理解的(用于交流,或维修). 可理解的半。。。
  • 水獭

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

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

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

  • 引用3篇文章[sw19624]
  • 证明助理,在我们的案子里Ω梅加。平台的首要任务Ω 维修...
  • 数学软件

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

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

  • 引用了190篇文章[sw01561]
  • Smalltalk是一个面向对象的、动态类型的、反射的。。。
  • 艾菲尔

  • 引用289篇文章[sw03522]
  • 埃菲尔是一个ISO标准化,面向对象的编程。。。
  • CPLEX公司

  • 在2625篇文章中引用[sw04082]
  • 国际商用机器公司® 伊洛格® CPLEX公司® 提供C,C++,Java,.NET。。。