• GHC公司

• 引用了43篇文章[sw23765号]
• 守卫喇叭 条款. 本文介绍了protected编程语言喇叭 条款缩写为。。。守卫喇叭 条款诞生于对现有逻辑程序设计语言和逻辑的研究。。。基于分辨率的定理证明器喇叭-条款句子。限制有两个方面。。。附加的句法结构，守卫。尽管有人看守喇叭 条款可以分为家族。。。

• 普罗夫里夫

• 引用41篇文章[sw06558号]
• 协议的表示方式喇叭 条款. 它的主要特点是：它可以处理许多。。。

• 海喇叭

• 引用13篇文章[sw18274]
• 验证的解释，和（d）用途喇叭-条款作为表示验证的中间语言。。。基于多个验证工具喇叭-条款. SeaHorn为用户提供了强大的验证。。。

• 特约

• 引用16条[sw21364]
• 这大大扩展了喇叭 条款. 系统地利用特征。。。

• 阿基斯

• 参考12篇文章【sw20605】
• 使用饱和程序喇叭 条款带选择的分辨率。。。

• 黄蜂

• 参考6篇文章[sw21362]
• 通用图形解释器喇叭 条款. 在这篇非常有趣的论文中，一种新的方法。。。显示地面的不满意喇叭 条款. 方法（称为Hornlog）应用于类。。。包括通常所说的喇叭 条款，但仍然严格包括。。。一阶公式。尤其是负面的喇叭 条款可以用作断言，也可以。。。

• HSF公司

• 引用9篇文章[sw09937]
• 基于喇叭 条款. SF是一个自动验证程序的框架。。。

• 帕台农神庙

• 引用8篇文章[sw25434]
• 非对称的并行定理证明器-喇叭 条款. 本文介绍了一种并行分辨定理证明器。。。

• 膨胀机

• 参考6篇文章[sw22715]
• 根岑条款或者一套有防护装置喇叭 条款（参见第2章）。系统提供。。。

• 验证图

• 参考6篇文章[sw22866号]
• VeriMAP：转换辅助喇叭 条款验证。VeriMAP是一个支持CHC软件验证程序的工具。。。

• 萨奇摩

• 参考6篇文章[sw06622]
• 非-喇叭 条款如果其中一个原子。。。

• 拉夫特

• 引用2篇文章[sw24485]
• RAHFT：一个验证工具喇叭 条款使用抽象解释和有限树自动机。。。呈现Rahft（在喇叭 条款使用有限树自动机），一个抽象精化。。。程序的安全属性表示为喇叭 条款. 文中介绍了它的结构、强度和性能。。。为以下目的开发的验证技术和工具喇叭 条款...

• Nuprl灯

• 1条引用【sw31982】
• 定理证明器，Nuprl Light使用广义喇叭 条款逻辑规范。实际上，Nuprl中的规范。。。

• 临床

• 参考6篇文章[sw19618]
• CLIN-S是基于实例的，条款-形成一阶定理证明器。CLIN-S雇佣。。。证明搜索和在非-喇叭涉及小文字的部分证明。。。喇叭部分证据。输入的语义结构条款被给予。。。

• 城市污水处理厂

• 参考7篇文章[sw09701]
• 喇叭魔术集抑制产生无用的候选模型造成的无关条款...

• 命题解决

• 1条引用[sw28841]
• 精化只针对条款是的集合喇叭-可重命名）。我们还定义。。。建立其健全性和完整性。这个条款集合不是有限的。。。

• 可口可乐

• 在1784篇文章中引用[sw00161]
• Coq是一个正式的证据管理系统。它。。。

• 伊莎贝尔

• 在606篇文章中引用[sw00454]
• 伊莎贝尔是一个普通的校对助理。它允许。。。

• 超小卫星

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

• 濑户

• 引用了119篇文章[sw00707]
• SETHEO：一个高性能的定理证明器。报纸。。。