• 旋转

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

• 爆炸

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

• 伊莎贝尔/霍尔

• 引用971篇文章[sw01569]
• 特别正式的验证，包括证明计算机硬件的正确性或软件证明。。。

• ETPS公司

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

• 伊莎贝尔

• 参考文献617篇[sw00454]
• 特别正式的验证，包括证明计算机硬件的正确性或软件证明。。。

• 测试程序集

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

• 注册会计师

• 引用了50篇文章[sw07408]
• 的开源框架软件 验证，基于可配置程序分析的概念。。。

• 聚硼

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

• 魔术

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

• 撒旦

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

• PPL公司

• 引用97篇文章[sw05357]
• 分析系统和验证硬件和软件组件。当前的应用程序跨命令。。。

• 猛击

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

• 摩卡

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

• 维索夫特

• 引用24篇文章[sw10881]
• VERSOFT公司：验证 软件在MATLAB/INTLAB中：VERSOFT是验证计算文件已验证。。。

• 钥匙

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

• 海喇叭

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

• 不明飞行物

• 引用21篇文章[sw09570]
• 基于抽象和插值的框架软件 验证. 在本文中，我们提出。。。

• 目标3

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

• 加帕

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

• 捕食者

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