• 旋转

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

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

  • 在153篇文章中引用[sw06302]
  • 自动定理证明包括硬件和软件 验证,各种数学活动的部分自动化,促进。。。
  • 伊莎贝尔

  • 在606篇文章中引用[sw00454]
  • 特别正式的验证,包括证明计算机硬件的正确性或软件证明。。。
  • 测试程序集

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

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

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

  • 在39篇文章中引用[sw12804]
  • 谓词抽象求精循环。现有的软件 验证爆炸,或是魔法工具。。。
  • PPL公司

  • 参考文献95篇[sw05357]
  • 分析系统和验证硬件和软件组件。当前的应用程序跨命令。。。
  • 猛击

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

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

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

  • 引用21篇文章[sw10881]
  • VERSOFT公司:验证 软件在MATLAB/INTLAB中:VERSOFT是验证计算文件已验证。。。
  • 不明飞行物

  • 引用了20篇文章[SW570号]
  • 基于抽象和插值的框架软件 验证. 在本文中,我们提出。。。
  • 海喇叭

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

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

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

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