• 班德拉

  • 在134篇文章中引用[sw07663]
  • Bandera工具设置为模型-检查并发Java的性质软件. 班德拉工具。。。模型-检查Java源代码。Bandera将Java源代码和软件... 规范语言,它生成一个程序模型以及输入中的规范。。。几种现存语言中的一种模型-检查工具(包括Spin、dSpin。。。
  • ARMC公司

  • 27条引用[sw04949]
  • ARMC:逻辑选择软件 模型 检查用抽象提炼。软件 模型 检查带着。。。工业验证的实用方法软件系统。它的显著特点。。。称为ARMC的工具(用于抽象细化模型 检查)已经用于实际工作中。。。
  • 活力

  • 在38篇文章中引用[sw01037]
  • Zing是一个软件 模型 检查微软研究院的项目。我们的目标是建立。。。可扩展的系统状态空间探测基础设施软件. 这个基础设施包括新的算法。。。
  • 摩卡

  • 引用了91篇文章[sw12935]
  • 摩卡:模块化模型 检查. 摩卡咖啡是一种日益增长的互动性软件系统规范的环境。。。
  • 茂物

  • 引用36篇[sw06858号]
  • 建立你自己的软件 模型checker使用Bogor扩展模型 检查框架模型 检查...软件域。我们认为,近期趋势要求软件系统。。。系统开发表明,特定领域模型 检查引擎可能比。。。
  • 雏菊

  • 引用了45篇文章[sw09059]
  • 软件已提出自动检查非线性可辨识性模型. 在本文中。。。
  • 海喇叭

  • 引用15篇文章[sw18274]
  • 最先进的软件 模型 检查和抽象的解释来验证。。。可定制的框架,用于试验新的软件验证技术。SeaHorn的有效性和可扩展性。。。
  • 风笛手

  • 引用28篇文章[sw11478]
  • 制造中的基本问题模型 检查可行的软件. 本文提出了新技术。。。模型执行(2)作为构成保证的类型模型...检查在类型上。CCS过程之间的开放式模拟被用作两个子类型。。。
  • SLMC公司

  • 引用71篇文章[sw04604]
  • 卡德利。模型-检查是应用最广泛的技术之一检查时间属性。。。软件系统。然而,当分析集中在与资源使用、地点、干扰有关的属性时。。。优于其他验证系统的工具模型化在π-微积分中。。。
  • MRMC公司

  • 引用了70篇文章[sw04129]
  • 软件用于验证概率属性的工具模型. 它支持PCTL和CSL模型 检查...
  • 阿斯皮尔

  • 参考6篇文章[sw09852]
  • ASPIER-第一个结合软件 模型 检查具有标准协议安全性模型... 迭代抽象精化方法软件 模型 检查使用特定于域的协议和符号。。。
  • 撒旦

  • 在39篇文章中引用[sw12804]
  • 模型 检查工具SatAbs,它实现了一个谓词抽象求精循环。现有的软件验证工具。。。使用SAT解算器。这使得模型用于处理语义的检查器。。。
  • 蒸汽

  • 参考6篇文章[sw01987]
  • 模型格子蒸汽。大多数方法模型 检查 软件是基于世代的。。。模型用于验证本机c++程序的检查器。允许平台独立模型 检查...
  • 外设

  • 参考7篇文章[sw07896]
  • 基于SAT的有效插层材料的制备软件验证命题插值被广泛应用于。。。实现基于SAT的高效符号化模型 检查. 不同的验证应用程序出于不同的目的利用插入器。。。一分为二的框架软件有界的模型 检查应用程序:以增量方式验证给定源代码。。。关于各种性质,以及软件关于固定。。。
  • 漏斗蛙

  • 参考6篇文章[sw06571]
  • Funfrog:有界模型 检查基于插值的函数摘要。本文介绍了FunFrog,一个工具。。。函数摘要方法软件有界的模型 检查. 它使用基于插值的函数摘要。。。尊重最先进的技术软件 模型方格图案。。。
  • 阿克萨

  • 引用4篇文章[sw02684]
  • ACSAR公司:软件 模型 检查用超限的精致。ACSAR(基于。。。抽象精化)是一个软件 模型用Blast的精神检查C程序。。。
  • 扣环

  • 引用93篇文章[sw07095]
  • 逻辑程序。它结合了高层建模答案集编程(ASP)的能力。。。检查(周六)。与其他学习ASP解决方案不同,clasp不依赖于遗留问题软件,这样。。。
  • CBMC公司

  • 引用了78篇文章[sw09719]
  • CBMC是有界的模型检查ANSI-C和C++程序。它还支持。。。指定为服务。而且,它可以检查ANSI-C和C++与。。。程序。而CBMC的目标是嵌入式软件,它还支持使用。。。
  • 合金

  • 引用了30篇文章[sw01247]
  • Alloy是一种轻量级语言软件 建模. 它设计得很灵活。。。可完全自动模拟检查. 在它的核心,合金是一个简单的第一。。。