• 爆炸

  • 参考文献124篇[sw02937]
  • 抽象软件验证工具)是静止的软件验证C语言的工具,解决。。。
  • 达夫尼

  • 参考文献62篇[sw00183]
  • 语言旨在支持静止的 验证程序的。它是必要的,连续的,支持。。。幽灵构造仅在验证编译器会从可执行代码中省略它们。。。和那个一样静止的当工具产生错误时,程序员。。。
  • 猛击

  • 引用了150篇文章[sw03136]
  • 确保可靠和正确运行的软件。静态驱动验证程序是一个工具。。。使用SLAM的驱动程序开发工具包验证引擎。。。
  • 再见

  • 引用41篇文章[SW89号]
  • 程序等静止的调试和验证,在运行程序之前查找错误。。。
  • 二元体

  • 第3条引用[sw22848]
  • 动态符号执行静止的 验证结果。软件缺陷检测是一个日益重要的问题。。。检测程序中的缺陷,静止的 验证动态测试生成是两个重要的研究方向。。。这些技术面临各自的问题。静态 验证产生假阳性,另一方面。。。消费。解决静止的 验证和动态测试生成,我们提出。。。
  • 为什么

  • 引用24篇文章[sw09709]
  • 证明人。保持验证条件易于理解和理解,为什么静止的别名控制。。。用作验证C、Java或Ada程序。。。
  • 肉汁

  • 引用2篇文章[sw34340]
  • 渐进式验证器。静态 验证传统的答案是/否。它要么证明。。。违反了。因此静止的 验证很难衡量。不像在测试中。。。用于跟踪进度,静止的 验证不提供任何中间结果,直到证明。。。不完全静止的验证者。为了克服这个问题,我们建议验证接近,肉汁。。。
  • 光环

  • 第3条引用[sw23942]
  • 有用的后置条件。我们研究静止的 验证这些合同。我们的主要贡献。。。
  • JCML公司

  • 引用2篇文章[sw06406]
  • 强制使用动态卡验证但是大部分的研究都是。。。Java卡小程序专注于静止的 验证方法。呈现此工作的运行时验证接近。。。
  • 瑜伽士

  • 参考12篇文章[sw13094]
  • 结合静止的分析和测试。Yogi实现了Dash算法验证通过组合。。。它插入微软的静态驱动验证框架。我们使用了这个框架。。。
  • ESC4型

  • 引用2篇文章[sw07219]
  • 扩展建模语言静态检查(ESC)是一种完全自动化的形式验证技术。验证... 将程序及其规范转换为验证条件(VCs)。一个风投的证据证明。。。超越了传统的扩展能力静止的检查要验证的工具。不能。。。在ESC和full之间静止的程序验证. 电子稳定控制系统通常相当有效。。。
  • 慈白

  • 引用4篇文章[sw26821]
  • 基于抽象解释静止的用于模块化分析和验证Java类的。我们介绍。。。通用静止的基于抽象解释的模块化分析和验证爪哇。。。
  • 联合收割机

  • 1条引用[sw01423]
  • 组合(用于绑定的组合形式方法验证). 顾名思义,COMBINE可以验证祈使句。。。由两个阶段组成的绑定方式:静止的 验证动态的验证. 事实上,合并。。。
  • 跳鼠

  • 1条引用[sw10051]
  • modeler编辑器配备了许多静止的 验证确保生成的建模器。。。
  • 检验器

  • 引用4篇文章[sw23736]
  • 基于规则的框架,适用于建模静止的复杂系统的动态方面。。。代数GT验证技术,如静止的分析。基于当前工具。。。
  • 共同合同

  • 引用2篇文章[sw30949]
  • 通过运行时检查改进测试,启用静止的合同验证,以及文档生成。代码合约带来。。。
  • 贾霍布

  • 在10篇文章中引用[sw12385]
  • 验证用Java的一个子集编写的程序的系统。使用Jahob,开发人员可以静态地...
  • 总括

  • 第3条引用[sw04600]
  • 时间断言检查,扩展静止的检查和正式验证. 支持该语言。。。
  • 克隆

  • 1条引用【sw13331】
  • 当地人)。没有这样的分析,静止的象征的验证是不可靠的,因此可能报告错误。。。