• 逆合成孔径雷达

  • 134篇参考文献[SW04999 ]
  • 支持交互的系统证明发展与一定程度自动化已经相当成功了…现有半自动化的推理系统有足够的基本概念。证明那是顺从的…可理解的半自动化的可读形式的推理(伊萨尔河)方法证明文件开始桥接…整合广泛自动化的 证明方法。互动证明发展直接支持…
  • 证明

  • 141篇参考文献[ SW07831 ]
  • 1.2:自动终止校样在依赖对框架中。证明…最强大的系统自动化的终止校样术语重写系统(TRSs…第一工具自动化新的依赖对框架(8),因此允许完全…不同终端的灵活组合证明技法由于这个框架,证明1.2也是…
  • 普罗梅拉

  • 30篇参考文献[SW07635]
  • 这种语言,它可以产生自动化的 校样对于每种类型的财产。自旋…
  • 火柴盒

  • 24篇参考文献[SW10115]
  • 交付的第一个程序自动化的 校样一些困难的字符串重写系统的终止…
  • 辅酶Q/SSR

  • 60篇参考文献[SW09360]
  • 证明从计算机检查出来的证明四色定理和…提供有效的逻辑自动化对于许多小的牧师来说证明步骤。这通常是完成的…
  • 低周疲劳寿命

  • 153篇参考文献[SW08360]
  • 历史原来的LCF系统是一个证明在斯坦福大学开发的检查程序…谁在哪里?自动化的推理是多样而深刻的。LCF的后代是HOL,A证明高阶逻辑助理最初开发…
  • 毫升

  • 490篇参考文献[SW01218]
  • 确保类型安全-有一个正式的证明一个良好的ML程序…形式语言,例如在编译器编写中,自动化的定理证明与形式化验证(维基百科…
  • 易地窖

  • 27篇参考文献[SW0798]
  • 现在的EasyCuCIPT自动化的安全阐述工具校样密码系统的证明草图…求解器和自动化的定理证明器,然后编译成可验证的校样在CurtRyPT框架中…
  • 美泰普尔

  • 26篇参考文献[SW04624]
  • 支持交互的系统实现证明自动化的推理。Meta普尔的一个主要特征…
  • 水獭

  • 301篇参考文献[SW02904]
  • 现在的自动化的演绎系统OTTER的设计是为了证明一阶逻辑中所陈述的定理…指导和限制搜索的策略校样. 水獭也可以用…
  • 泽农

  • 19篇参考文献[SW0653]
  • Zenon:一个可扩展的自动化的产生可检验的定理证明器校样. 我们提出Zeon,AN自动化的定理。。。环境,面向对象的代数规范和证明系统,能够产生OCAML…直接生成辅酶Q校样证明脚本或证明术语),可以重新插入…扩展,这使得特定的(可能是本地的)自动化可能在焦点…
  • 斯帕斯

  • 159篇参考文献[SW04108]
  • 斯帕斯是一个自动化的一阶逻辑等式的定理证明器所以输入…结果最终产出Sases碧石:证明找到了。如果公式是有效的,SPASS…
  • 电除尘器

  • 150篇参考文献[SW06302]
  • 证明包括硬件和软件验证,部分自动化各种数学活动,促进发展…搜索扩展设施校样翻译成自然演绎校样构造自然演绎…
  • NQTHM

  • 142篇参考文献[SW075 43]
  • 正确有效地使用它们证明计算机中的正确性问题计算逻辑及其定理证明器〔J〕自动操作系统. 推理4,2,117-172(1988)]。然而。。。
  • A3PAT

  • 7篇参考文献[SW21588]
  • A3PAT,一种认证方法自动化的终止校样. 软件工程,自动化的推理,基于规则的编程…发现并进一步证明自动化终止校样用于术语重写系统。它包括…
  • 圣杯

  • 7篇参考文献[SW24229 ]
  • 圣杯:一个自动化的 证明范畴语法逻辑学助理。圣杯制度是一种工具…逻辑学。圣杯是一种自动化的基于定理证明器证明NET,一个基于图形的表示…
  • 颜色

  • 37篇参考文献[SW09806]
  • 重写关系及其应用自动化的终止证书的验证。终止。。。特别需要制定的程序证明助手。这是一个非常活跃的话题。证明助理Coq。我们还将其应用到自动化的终止证书的验证…
  • 雅加达

  • 18篇参考文献[SW01269]
  • 将JSL规范翻译成证明雅加达助理自动化工具包(JAK),一个工具集…