• DPPD

  • 14篇参考文献[SW0984]
  • DPPD(几十个问题)部分的 演绎图书馆的基准。由Michael Leuschel维持。建议标准基准套件部分的 演绎. 一开始就观察到…仅接受的基准套件部分的 演绎(所谓的Lam和Kusalik基准)包含…定理证明)库,但部分的 演绎. 该库包含由声明逻辑组成的基准。
  • 电除尘器

  • 151篇参考文献[SW06302]
  • 定理证明包括硬件和软件验证,部分的自动化各种数学活动,促进发展…各种学科的理论,演绎的信息系统为这些学科,专家系统…
  • TPS

  • 70篇参考文献[SW0933]
  • 定理证明包括硬件和软件验证,部分的自动化各种数学活动,促进发展…各种学科的理论,演绎的信息系统为这些学科,专家系统…
  • 儿童

  • 11篇参考文献[SW1541]
  • 执行算法设计的组件,演绎的推理,程序简化,部分的评价,有限差分优化,数据…
  • IMPS

  • 48篇参考文献[SW09143]
  • 简单型理论的版本部分的函数和子类型。数学规范和推理…促进人类控制的步骤演绎的过程和人类理解的结果…
  • 凯伊

  • 5篇参考文献[SW0466]
  • 工具演绎的C程序验证。KE-C允许证明部分的正确性…
  • 辛西娅

  • 7篇参考文献[SW12933 ]
  • 用户这样的证书易于验证。演绎的仅反映规范关键的证明…系统合成也可以处理部分地实现了系统,在这种情况下证明了它们的可实现性。
  • 眼镜蛇

  • 1篇参考文献[SW13822]
  • 建模与求解的通用框架演绎的游戏,其中一个玩家选择一个密码…允许显示一些实验的数量部分的有关代码的信息。框架…通过对现有结果产生新的结果来证明演绎的游戏
  • 可可

  • 585篇参考文献[SW0143]
  • 可可是Commutative的一种计算系统。
  • 辅酶Q

  • 1721篇参考文献[SW0161]
  • COQ是一种形式化的证明管理系统。IT
  • Gap

  • 2586篇参考文献[SW0320]
  • GAP是一个计算离散代数的系统…
  • MATLAB

  • 11158篇参考文献[SW0568]
  • Matlab®是一种高级语言和交互式…
  • PAG

  • 19篇参考文献[SW0699]
  • PAG——一种高效的程序分析器生成器。整齐。。。