• 咖啡馆

  • 参考170篇文章[sw06232]
  • 状态过渡系统。通过捕获状态谓语。。。验证安全性能无限的-状态 系统在集合论迭代中使用谓词演算。。。
  • nuXmv公司

  • 在26篇文章中引用[sw18526]
  • 有限和的模型检验器无限的-状态同步过渡系统.nummv是进化。。。有限的-状态 系统它补充了nuXmv的基本验证技术状态... 验证算法。无限的-状态 系统,它用新的数据类型扩展了numv语言。。。
  • 乌克利德

  • 引用25篇文章[sw04657]
  • 用于建模和验证无限的-状态 系统有整数,布尔,函数的变量。。。
  • 萨帕托

  • 参考11篇文章[sw25425]
  • 生成有限和无限的-状态 系统。应用此过程时。。。
  • 厚板

  • 参考第8条[sw09875]
  • 认证模型检查器无限的-同时发生的系统.系统以及结合并发和无限的...状态空间在实践中经常出现,但很难验证。。。自动地。同时,如果系统是正确的,它是可取的。。。第一个认证模型检查器无限的-状态同时发生的系统。该工具使用的程序。。。
  • 海迪

  • 引用3篇文章[sw11912]
  • 混合的系统具有离散的相互作用。语言的目的是应用状态... 符号模型检查程序无限的-状态 系统嵌入的验证系统设计。。。编译成等效离散时间无限的-状态过渡系统...
  • 海康普

  • 引用4篇文章[sw20163]
  • HyComp是一个混合动力的模型检查器系统基于可满足模理论。海康普。。。网络连接到无限的-状态过渡系统,可以使用基于SMT的验证进行分析。。。
  • 蒙纳布

  • 引用2篇文章[sw18507]
  • 状态,系统当新进程添加到状态这个概念。。。已建立的安全检查算法无限的-状态 系统变得不适用。我们展示了单调。。。
  • 毕加索

  • 1条引用【sw36776】
  • 包括各种各样的无限的-状态 系统。毕加索计算输入的不变量。。。
  • GBDD

  • 1条引用[sw15451]
  • 统一验证框架无限的-状态 系统基于自动机理论。它代表...
  • 入侵

  • 引用2篇文章[sw10124]
  • 安全性能验证无限的-状态同时发生的系统.给出一个并发的系统明确规定。。。
  • 耻辱

  • 引用5篇文章【sw21177】
  • 臭名昭著的无限的-马尔可夫模型检验器。复杂并发系统的设计系统经常涉及。。。任意结构的模型检验器无限的-状态CTMC。它检查概率时序属性的表达。。。
  • 伊吉特

  • 1条引用[sw21506号]
  • 程序。API转换系统 临时编程正好赶上扩张。。。毫不费力地扩展了各种非琐碎的(例如。无限的-状态)模型检查算法操作。。。
  • 单片机

  • 1条引用[sw14482]
  • 验证和控制器综合无限的-状态模型。我们的验证工具实现了几个模型。。。过渡类的一般框架系统利用有限控制/无限数据,McScM提供。。。
  • JKind公司

  • 1条引用[sw21029]
  • JKind是基于SMT的无限的-状态Lustre安全性能的模型检查器。JKind。。。随着时间的推移系统.Alternative Solvers(可选):默认情况下,JKind。。。
  • 棱镜

  • 引用434篇文章[sw01186]
  • PRISM:概率符号模型检查器。在本文中。。。
  • 希萨特

  • 引用25篇文章[sw01980]
  • HySAT:一个有效的有界模型证明引擎。。。