• 努西姆

  • 引用了295篇文章[sw04131]
  • 基于模型 检查包含基于RBC的组件有界的 模型检查器,这。。。软件包在有界的 模型 检查算法。。。
  • 希萨特

  • 引用24篇文章[sw01980]
  • HySAT:一个有效的验证引擎有界的 模型 检查混合动力系统在本文中。。。有界的 模型 检查背景,例如,同构复制所学。。。
  • 麦肯锡

  • 引用28篇文章[sw09465]
  • 但MCK现在也支持有界的 模型 检查以及显式状态模型...
  • 乌克利德

  • 引用25篇文章[sw04657]
  • 验证程序,用于术语级别有界的 模型 检查,通信检查演绎验证和基于谓词抽象的。。。
  • LLBMC公司

  • 引用15篇文章[sw09478]
  • LLBMC:改进有界的 模型 检查使用LLVM的C程序。(竞争贡献)。LLBMC。。。程序。它基于有界的 模型 检查使用SMT求解器,从而实现。。。LLBMC与其他有界的 模型 检查C程序的工具是。。。
  • Pex公司

  • 参考33篇文章[sw07263]
  • 动态符号执行,类似于路径-有界的 模型-检查)要确定参数化的测试输入。。。
  • MRMC公司

  • 引用68篇文章[sw04129]
  • 模型. 它支持PCTL和CSL模型 检查以及他们的奖励扩展。区别特征。。。支持计算时间和奖励-有界的可达概率,(属性驱动)互模拟最小化,和精确。。。有界的连续时间马尔可夫决策过程(CTMDPs)和CSL的可达性分析模型 检查...
  • 潜水员

  • 在10篇文章中引用[sw01938]
  • 系统。我们提出了一个基于SAT的模型 检查基于健壮性和可扩展性的平台。。。他们各自的作用如下:有界的 模型 检查(BMC)把BMC分布在。。。
  • 漏斗蛙

  • 参考6篇文章[sw06571]
  • Funfrog公司:有界的 模型 检查基于插值的函数摘要。本文介绍了FunFrog,一个工具。。。软件功能总结方法有界的 模型 检查. 基于插值的函数总结。。。
  • 萨尔

  • 引用8篇文章[sw13318]
  • 模型checker使用Yices提供有界的 模型 检查对于定义在无限数据上的系统。。。雷亚尔。此外,两者有界的无限的-有界的 模型跳棋可以证明不变量。。。
  • 卫星通信

  • 引用8篇文章[sw09469]
  • 基于卫星的柔性平台有界的 模型 检查[8] 安全协议。在标准之下。。。强输入,SATMC执行有界的通过考虑与…相关的情景分析问题。。。基于Dolev Yao的一般入侵者模型...
  • 外设

  • 参考7篇文章[sw07896]
  • 两个软件框架有界的 模型 检查应用程序:以增量方式验证给定源代码。。。
  • 验证

  • 参考6篇文章[sw09464]
  • 第一个是基于有界的 模型 检查(BMC),而第二个。。。
  • 计算

  • 参考6篇文章[sw13098]
  • 几个基准,包括从有界的 模型 检查混合自动机和静态分析。。。
  • CPBPV公司

  • 引用5篇文章[sw00164]
  • 其他框架基于哪些有界的 模型 检查失败了。。。
  • CSP2SAT4J

  • 引用4篇文章[sw10081]
  • 近年来的成功经验:计划和有界的 模型 检查是两个应用程序的例子。。。
  • CBMC公司

  • 引用了77篇文章[sw09719]
  • CBMC是一个有界的 模型检查ANSI-C和C++程序。它还支持。。。使用快速移动的SystemC。它允许验证数组界限(缓冲区溢出)、指针安全、例外。。。指定为服务。而且,它可以检查ANSI-C和C++与。。。
  • 爱马仕

  • 引用9篇文章[sw00403]
  • 协议验证工具是模型-检查工具有界的会话数,有界的号码。。。
  • 贝德维尔

  • 引用21篇文章[sw09460]
  • 顺序演算可以捕捉到简单模型 检查问题以及可能和必须的行为。。。特性允许直接对包含跳跃变量。。。
  • 弗兰肯比特

  • 引用3篇文章[sw25253]
  • 向量和位精确有界的 模型 检查,证明了一点精确的安全性,即合成一个保险箱。。。