结果1至201172
排序依据：

  • 旋转
  • 引用723篇文章[sw03455]
  • Spin是一种流行的开源软件软件全世界成千上万人使用的工具。。。用于正式场合验证分配的软件系统。这个工具是在贝尔开发的。。。

  • 爆炸
  • 在129篇文章中引用[sw02937]
  • BLAST（伯克利懒惰抽象）软件 验证工具）是静态的软件 验证工具。。。这样的验证在Linux驱动程序中验证项目。你可以下载源代码或二进制。。。它所依赖的组件是免费的软件. 爆炸本身是在Apache下发布的。。。

  • ETPS公司
  • 引用160篇文章[sw06302]
  • 自动定理证明包括硬件和软件 验证，各种数学活动的部分自动化，促进。。。

  • 伊莎贝尔
  • 引用713篇文章[sw00454]
  • 特别正式的验证，包括证明计算机硬件的正确性或软件证明。。。

  • 测试程序集
  • 引用73篇文章[sw00973]
  • 自动定理证明包括硬件和软件 验证，各种数学活动的部分自动化，促进。。。

  • 聚硼
  • 引用48篇文章[sw00723]
  • 正式硬件和软件 验证基于布尔表达式，除了。。。

  • 魔术
  • 在38篇文章中引用[sw14159]
  • 模拟一致性。魔法是软件 验证验证一致性的C源代码的项目。。。规范。为了达到这个目的，魔法提取了抽象的软件使用谓词ahstraction建模，并解决。。。在魔术中实现的核心原则验证引擎，即使用模拟和抽象的规范一致性。。。

  • 撒旦
  • 引用41篇文章[sw12804]
  • 谓词抽象求精循环。现有的软件 验证像猛击、爆炸或魔法之类的工具。。。

  • PPL公司
  • 参考101篇文章[sw05357]
  • 分析系统和验证硬件和软件组件。当前的应用程序跨命令。。。

  • 维索夫特
  • 27条引用[sw10881]
  • VERSOFT公司：验证 软件在MATLAB/INTLAB中：VERSOFT是验证计算文件已验证。。。

  • 海喇叭
  • 引用19篇文章[sw18274]
  • 本文中，我们提出了一个软件 验证框架。海喇叭的主要特点是。。。程序技术（b）在验证语义允许不同级别的精度。。。软件模型检验与抽象解释验证，和（d）使用Horn从句。。。可定制的框架，用于试验新的软件 验证技术。SeaHorn的有效性和可扩展性。。。

  • 猛击
  • 在153篇文章中引用[sw03136]
  • 软件设计接口和软件确保可靠和正确的功能。静态驱动程序。。。使用SLAM的驱动程序开发工具包验证引擎。。。

  • 摩卡
  • 引用92篇文章[sw12935]
  • 互动性增强软件系统规范和验证. 摩卡的主要目的是。。。

  • 钥匙
  • 引用64篇文章[sw09969]
  • 实现、正式规范和正式验证面向对象的软件尽可能无缝。。。

  • 目标3
  • 在140篇文章中引用[sw05370]
  • 软件设计和说明，快速原型，定理证明，用户界面设计和硬件验证，其中。。。

  • 捕食者
  • 引用18条[sw07396]
  • 捕食者是一个自动化的正式工具验证用指针操作的顺序C程序。。。描述其在软件 验证在塔卡斯举行的第13届SV-COMP比赛。。。

  • 加帕
  • 引用18条[sw04885]
  • 后端验证程序的原因软件 验证平台或自动战术。。。