• 分离逻辑

  • 参考7篇文章[sw28549]
  • 证明方法自动化典型任务,如验证条件生成和帧推理。而且。。。
  • 梅塔普利

  • 在26篇文章中引用[sw04624]
  • 支持交互式证明和自动化推理。MetaPRL的一个主要特征。。。规范、实现和验证...
  • JPAX公司

  • 引用了29篇文章[sw09906]
  • Java PathExplorer运行时概述验证工具,简称为JPAX。JPAX。。。用户提供的规范。该工具有助于自动化程序字节码的检测,当。。。专门的分析,比如时间逻辑验证死锁分析和数据竞争。。。
  • 编解码器

  • 引用2篇文章[sw09151]
  • 抽象、可伸缩性和自动化可验证性。编解码器的语言是。。。抽象层次。我们描述{it设计验证}证明或反驳的过程。。。编解码器,以及-自动化设计验证工具。我们用实证结果得出结论。。。
  • 独奏者

  • 1条引用[sw16438号]
  • 验证活动至关重要。相当于验证也是正式规定。。。平衡表达能力和支持自动化 验证. 本文展示了SOLOIST,一种规范语言。。。
  • miTLS公司

  • 1条引用[sw27823]
  • 精心设计,使其模块化,自动化 验证,从它的主要API到计算。。。
  • 公式2.0

  • 引用2篇文章[sw13248]
  • 陈述性和易于表达的丰富综合/验证问题。自动化推理是由有效的符号。。。
  • ESC4型

  • 引用2篇文章[sw07219]
  • 静态检查(ESC)是一个完整的自动化正式的验证技术。验证在电子稳定控制系统中。。。
  • 罗素

  • 引用2篇文章[sw13311]
  • 并提供可信的证明验证自动化常规(技术)证明。拉塞尔。。。
  • 元数据编辑器

  • 引用2篇文章[sw33687]
  • 管理,包括天生的数字材料,自动化元数据验证以及由此产生的。。。
  • 在轨

  • 引用2篇文章[sw11950]
  • 铁路开放工装环境验证. OnTrack工具集自动化铁路工作流验证,开始。。。
  • 终极自动播种机

  • 引用4篇文章[sw07407]
  • 斯密特普尔。(竞争贡献)终极自动播种机是一个自动软件验证C程序的工具。这个。。。
  • 多楔

  • 引用3篇文章[sw08771]
  • 那是高度的自动化. 我们的工作为验证数字软件。。。规范语言自动化工具。规范中的附加表达。。。表现力的主张,我们概述验证四个示例程序,包括集成示例。。。
  • DC2型

  • 1条引用[sw15730]
  • 可伸缩的、有范围限制的软件框架验证. 软件模型检查和静态分析已经成熟。。。在过去的十年里自动化软件验证. 然而,缺乏可扩展性使得这些。。。假警报。本文提出了DC2,a验证框架使用范围边界来桥接这些。。。部件,依靠三个部件的组合自动化技巧:(a)推断有用规格的技巧。。。
  • 扎普

  • 引用8篇文章[sw06823]
  • 分析自动化定理证明器(ATP)是许多软件的关键部件验证还有程序。。。
  • 光盘++

  • 引用8篇文章[sw00112]
  • 自动化时尚,简化新车型的构造,并使其验证...
  • 有说服力

  • 1条引用[sw18522]
  • 调查方法(部分)自动化这个验证系统服务。我们正在使用文件系统。。。
  • 铁路

  • 1条引用[sw21507]
  • 参与式验证铁路基础设施的管理。铁路基础设施设计(轨道。。。启发式。我们以前在自动化这个验证违反这些规定的铁路设计。。。
  • 二元体

  • 引用3篇文章[sw22848]
  • 静电限制验证以及动态测试生成,我们提出了一个自动化缺陷检测工具。。。
  • ASD套房

  • 1条引用[sw13328]
  • 完全集成的模型驱动设计,自动化数学的验证以及代码生成。它使软件工程师。。。