• 节奏

  • 27条引用[sw07795]
  • Cadence SMV是一个符号模型检查临时工具允许你正式验证。。。正式验证通常等同于等价 检查,型号检查基本上更普遍。。。
  • 凯撒解决方案

  • 在14篇文章中引用[sw10194]
  • 有限状态并发系统,例如等价 检查和模型检查. 这些问题。。。三个目的:飞行等价 检查模五被广泛使用等价关系。。。
  • 符号差分

  • 引用16条[sw13093]
  • SymDiff,一个语言无关的工具等价 检查并且显示出语义(行为)上的差异。。。
  • MWB公司

  • 参考33篇文章[sw04395]
  • MWB的版本是检查开放式交互模拟等价物. 我们用。。。
  • 引用15篇文章[sw02075]
  • PLC程序验证。等价 检查和财产检查用以证明这些方法的正确性。。。
  • 双刺激子

  • 参考7篇文章[sw02526]
  • 模块化工具等价 检查. 这个等价 检查问题在于验证。。。给定模的标记转移系统(LTS)等价关系。。。传统上是用来表演的等价 检查:全局验证需要构造。。。
  • 凯撒

  • 引用8篇文章[sw29138]
  • 生成的图形,包括模型检查,等价 检查视觉和检查. 以filename.lotos作为输入,它。。。
  • 科瓦茨

  • 参考7篇文章[sw21472]
  • 程序分析技术,我们减少等价 检查分析一个系统的问题。。。方法可以有效地用于检查 等价辅音(即结构相似)程序。最后。。。
  • 并发工作台

  • 参考12篇文章[sw14749]
  • 允许各种等价、预订单和模型检查使用各种不同的过程语义。。。给定过程,或检查各种语义等价物和预购;用一个强大的模式定义命题。。。
  • 海狸

  • 引用9篇文章[sw00071]
  • 安全性(丰富的非线性算法)和等价 检查(丰富的布尔结构。。。
  • 西格玛*

  • 引用8篇文章[sw21731]
  • 可以有效地组成等价 选中的. 因此,西格玛*实现了全自动分析。。。
  • 苏西2

  • 引用16条[sw09258]
  • 哈密顿量等价),以及检查雅各比的有效性。。。
  • 阿基斯

  • 在10篇文章中引用【sw20605】
  • Akiss是用于检查追踪等价安全协议。它起作用了。。。
  • 规格

  • 参考第4条[sw20606]
  • 身份验证。规范实现了一个过程等价 检查程序基于阿尔文的论文。。。
  • 古特尔

  • 引用2篇文章[sw12872号]
  • 各种RTL设计和应用形式等价 检查用第三方工具验证。。。
  • 宾西姆

  • 1条引用[sw31767]
  • 通过系统调用切片段进行区分等价 检查. 正在检测两个二进制可执行文件(二进制。。。提出系统调用切片段等价 检查一种识别细粒度语义的混合方法。。。两个可执行二进制文件的行为是否有条件相等的(2)发现其相似性或差异性。。。
  • TVOC公司

  • 引用19篇文章[sw02521]
  • 检查编译器优化的有效性:对于给定的源程序,TVOC证明等价...
  • 海伦娜

  • 参考6篇文章[sw33425]
  • 将海伦娜规范翻译成Promela和检查自旋对LTL特性的满意程度。。。海伦娜和普罗米拉建立口吃痕迹等价他们之间。因此,我们可以保证。。。
  • XPi公司

  • 参考6篇文章[sw09430]
  • 与类型完全一致检查. 带刺的概念等价定义为。。。