结果1至20445
排序依据：

  • 努西姆
  • 引用了295篇文章[sw04131]
  • 基于模型检查包含基于RBC的组件有界的模型检查器，它。。。软件包在有界的模型检查算法。。。

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

  • 麦肯锡
  • 引用28篇文章[sw09465]
  • 但MCK现在也支持有界的模型检查以及显式的状态模型。。。

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

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

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

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

  • 多劳尔
  • 引用23条[sw14205]
  • 检查类的。类型上的匹配关系，它与F有关-有界的量化。。。都是陈述型的-检查规则的表达界限关于多态性的类型参数。。。类型的谨慎正式定义-检查规则和语义。类型安全性证明。。。

  • 黑暗的
  • 引用28篇文章[sw09107]
  • FeynHiggs，ISASUGRA和嫌犯。加速器界限可以是选中的为了确定可行的暗物质候选者。。。

  • CBMC公司
  • 引用了77篇文章[sw09719]
  • 使用快速移动的SystemC。它允许验证数组界限（缓冲区溢出）、指针安全、例外。。。指定为服务。而且，它可以检查ANSI-C和C++与。。。

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

  • 漏斗蛙
  • 参考6篇文章[sw06571]
  • Funfrog公司：有界的模型检查基于插值的函数摘要。本文介绍了FunFrog，一个工具。。。软件功能总结方法有界的模型检查. 它使用基于插值的函数摘要。。。

  • 萨尔
  • 引用8篇文章[sw13318]
  • 模型检查器使用Yices提供有界的模型检查对于定义在无限数据上的系统。。。整数和实数。此外，两个有界的无限的-有界的模型检查可以证明。。。

  • 卫星通信
  • 引用8篇文章[sw09469号文件]
  • 基于卫星的柔性平台有界的模型检查[8] 安全协议。在标准之下。。。强输入，SATMC执行有界的通过考虑与…相关的情景分析问题。。。

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

  • 爱马仕
  • 参考第9条[sw00403]
  • 协议验证工具是模型-检查工具有界的会话数，有界的号码。。。

  • 验证
  • 参考6篇文章[sw09464]
  • 第一个是基于有界的模型检查（BMC），而第二个。。。

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

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