• GHC

  • 42篇参考文献[SW23 765 ]
  • 看守的喇叭 条款. 本文介绍了编程语言喇叭 条款缩写…看守的喇叭 条款诞生于对现有逻辑编程语言和逻辑的检查…基于分辨率的定理证明器喇叭-条款句子。限制有两个方面…附加句法结构,守则。虽然守卫喇叭 条款可以分为家庭…
  • 泰约斯

  • 16篇参考文献[SW21364 ]
  • 这大大扩展了理论。喇叭 条款. 系统地开发特征…
  • 海角

  • 11篇参考文献[SW1874]
  • 验证解释和(d)使用喇叭-条款作为表示验证的中间语言…基于多个验证工具喇叭-条款. 海角为用户提供了强大的验证…
  • 角木

  • 6篇参考文献[SW21362]
  • 基于图论的通用解释器喇叭 条款. 在这篇非常有趣的论文中,一种新的方法…显示地面不满足性喇叭 条款. 该方法(称为HoNLoG)适用于一类…包括通常被称为喇叭 条款,但仍然严格包括…一阶公式。特别是否定的喇叭 条款可以用作断言,而且…
  • 阿基斯

  • 10篇参考文献[SW20605]
  • 使用执行饱和过程喇叭 条款分辨率与选择…
  • 帕台农神庙

  • 8篇参考文献[SW25434 ]
  • 非平行定理证明器喇叭 条款. 本文介绍了一种并行分辨率定理证明器。
  • 扩展器

  • 6篇参考文献[SW21715]
  • 根岑条款或守卫喇叭 条款(参见第2章)。该系统提供…
  • i-StoCHMO

  • 6篇参考文献[SW062622]
  • 非结果喇叭 条款如果其中一个随之产生的原子是不必要的…
  • VelimAP

  • 5篇参考文献[SW22666 ]
  • VeriMAP:辅助变换喇叭 条款验证。VRIMAP是支持CHC软件验证工具的工具。
  • RAHFT

  • 2篇参考文献[SW2485]
  • RAHFT:验证工具喇叭 条款使用抽象解释和有限树自动机…当前Rahft(抽象的细化)喇叭 条款使用有限树自动机,抽象精化…程序的安全特性表示为喇叭 条款. 本文描述了建筑、强度…开发的验证技术和工具喇叭 条款
  • 克林

  • 6篇参考文献[SW19618]
  • CURN-S是基于实例的,条款-形成一阶定理证明器。克林斯采用…证明搜索和良好的非喇叭部分涉及小文字的证明…喇叭部分证明。输入的语义结构条款给出…
  • MGTP

  • 7篇参考文献[SW09701]
  • 喇叭魔术集抑制无用模型候选生成无关紧要条款
  • 命题分解

  • 1篇参考文献[SW28 841]
  • 细化只完成条款设置为喇叭-可重命名)。我们也定义…确立其健全性和完整性。这个条款集合不是假定为有限的…
  • 辅酶Q

  • 1696篇参考文献[SW0161]
  • COQ是一种形式化的证明管理系统。IT
  • 超小卫星

  • 511篇参考文献[SW0577]
  • 一个可扩展的SAT求解器。MiSISAT是一个极简主义…
  • 塞西奥

  • 114篇参考文献[SW0707]
  • SESEO:一个高性能的定理证明器。论文…