• GHC公司

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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