• A3PAT

  • 8篇参考文献[SW21588]
  • 证实自动化的终止证明。软件工程,自动化的 推理基于规则的编程或规范常常…发现并进一步证明自动化术语重写系统的终止证明。它包括…
  • 伊夫斯

  • 7篇参考文献[SW28 893]
  • 功能编程、并发、仿真和自动化的 推理“(FPCSAR)…
  • 德雷斯

  • 3篇参考文献[SW32612]
  • 本文描述了一个自动化的 推理系统,称为DRES。DRE实现默认逻辑…支持几种基本方法推理任务,如测试是否存在扩展,查找…分层的概念自动化的 推理系统实用…
  • 斯纳克

  • 4篇参考文献[SW19611]
  • SnAg- SRI公司的新产品自动化的 推理工具箱斯纳克是自动化的定理证明程序存在…代码SNARK已被用作推理SRI高性能知识的组成部分…
  • TPS

  • 71篇参考文献[SW0933]
  • 证明包括硬件和软件验证,部分自动化各种数学活动,促进发展…这些学科,专家系统,可以原因以及人工智能的某些方面…
  • 春分

  • 2篇参考文献[SW09968 ]
  • 分点的解剖学——可扩展的自动化的 推理一阶逻辑和超越的工具。春分…自动化的 推理一阶逻辑的工具。这也是一个高度建设的框架。有针对性的自动化的 推理专用工具公寓分点的目的是为了获得……自动化的 推理具有模块化和可扩展体系结构的工具。SAT模理论(SMT)求解器…
  • 理论学家

  • 4篇参考文献[SW2552]
  • 量词消去(QE)技术自动化的 推理在经济学中。有一个伟大的身体…
  • 马赛

  • 4篇参考文献[ SW21355 ]
  • 发现工具。在这一领域自动化的 推理最具挑战性的(甚至……)
  • 雅加达

  • 18篇参考文献[SW01269]
  • 雅加达是一个工具集,用于指定和推理关于JavaCARD平台。主要成分…雅加达助理自动化工具包(JAK),一个支持的工具集推理关于在…中的可执行规范
  • 蝰蛇

  • 6篇参考文献[SW150 38 ]
  • 基于权限的验证基础结构推理. 这个自动化基于一阶的验证技术…让开发者更高层次推理技术集中在适当的努力…
  • 战术脚趾

  • 3篇参考文献[ SW28 627 ]
  • 机器学习与翻译的结合自动化的 推理最近已经成为一个重要的组成部分…“锤子”技术补充传统的证明助手自动化通过战术和决策程序来实现…
  • 伊沙菲尔

  • 3篇参考文献[SW19193]
  • 现代研究形式化的方法论自动化的 推理. 我们最初的重点是建立良好的…
  • 整流罩

  • 3篇参考文献[SW094]
  • 有效地结合了符号计算和自动化的 推理在统一的框架中。该系统提供…
  • 埃普吉

  • 3篇参考文献[SW28 722]
  • 系统结合使用自动化的 推理和符号计算来验证个别证明步骤…
  • 易地窖

  • 28篇参考文献[SW0798]
  • 使用现成的SMT求解器自动化的定理证明,然后编译成可验证的…CurtRyPT框架。最常用的工具推理模式和更容易…
  • 阿西莫

  • 4篇参考文献[SW150 331 ]
  • Aximo:自动化的公理的推理用于信息更新。AXIMO是一个用C++编写的软件…
  • 公式2

  • 2篇参考文献[SW13248]
  • 域特定的抽象和编译器,(2)有效的推理并编制输入程序,(3)多样化…容易表达丰富的合成/验证问题。自动化的 推理通过有效的符号执行启用…
  • 格罗弗

  • 2篇参考文献[ SW099 68 ]
  • 意义。通过发展一个自动化的 推理系统,称为/Gover,我们已经尝试过…
  • 跳跃

  • 2篇参考文献[SW20269]
  • 现在的CAPER,一个原型工具自动化的 推理在这样的逻辑中。雀跃是基于…
  • 国歌

  • 2篇参考文献[SW30423 ]
  • 该软件结合自动化的 推理工具,验证程序是否正确…