-
旋转
- 引用723篇文章[sw03455]
- Spin是一种流行的开源软件软件全世界成千上万人使用的工具。。。用于正式场合验证分配的软件系统。这个工具是在贝尔开发的。。。
-
爆炸
- 在129篇文章中引用[sw02937]
- BLAST(伯克利懒惰抽象)软件 验证工具)是静态的软件 验证工具。。。这样的验证在Linux驱动程序中验证项目。你可以下载源代码或二进制。。。它所依赖的组件是免费的软件. 爆炸本身是在Apache下发布的。。。
-
魔术
- 在38篇文章中引用[sw14159]
- 模拟一致性。魔法是软件 验证验证一致性的C源代码的项目。。。规范。为了达到这个目的,魔法提取了抽象的软件使用谓词ahstraction建模,并解决。。。在魔术中实现的核心原则验证引擎,即使用模拟和抽象的规范一致性。。。
-
维索夫特
- 27条引用[sw10881]
- VERSOFT公司:验证 软件在MATLAB/INTLAB中:VERSOFT是验证计算文件已验证。。。
-
海喇叭
- 引用19篇文章[sw18274]
- 本文中,我们提出了一个软件 验证框架。海喇叭的主要特点是。。。程序技术(b)在验证语义允许不同级别的精度。。。软件模型检验与抽象解释验证,和(d)使用Horn从句。。。可定制的框架,用于试验新的软件 验证技术。SeaHorn的有效性和可扩展性。。。
-
猛击
- 在153篇文章中引用[sw03136]
- 软件设计接口和软件确保可靠和正确的功能。静态驱动程序。。。使用SLAM的驱动程序开发工具包验证引擎。。。
-
捕食者
- 引用18条[sw07396]
- 捕食者是一个自动化的正式工具验证用指针操作的顺序C程序。。。描述其在软件 验证在塔卡斯举行的第13届SV-COMP比赛。。。