• MRMC公司

  • 引用了70篇文章[sw04129]
  • 过程(CTMDP)和CSL模型 检查通过离散事件模拟. 本文介绍了该工具。。。
  • FoCs公司

  • 引用了20篇文章[sw01591]
  • 将继续使用两者模拟模型 检查在设计验证过程中。。。交叉利用模拟以及正式的验证。。。
  • 佩帕

  • 引用116篇文章[sw10692]
  • 马尔可夫链或ODE方法或模拟. 性能结果在平台上以图形方式显示。。。用于抽象PEPA的接口模型,以及模型 检查连续随机逻辑的性质。。。
  • 风笛手

  • 引用28篇文章[sw11478]
  • 进行构图模型 检查在类型上。正常开放模拟在CCS过程之间使用。。。构图的抽象关系模型 检查. 我们已经在一个工具中实现了这些想法。。。
  • 拍打

  • 参考33篇文章[sw13258]
  • 编辑器和动画模拟器. 最重要的是,PAT实现了模型 检查技术迎合不同。。。
  • 棱镜游戏

  • 引用19篇文章[sw12934]
  • 现有用户界面和模拟器,同时添加新内容模型 检查随机对策的算法。。。
  • 动量2

  • 在10篇文章中引用[sw10025]
  • 模型可以是模拟模型 选中的使用MOMENT2基于Maude的分析工具。。。
  • latentnet公司

  • 引用18条【sw10550】
  • 模型通过后向预测检查. 它的功能是模拟网络从一个潜在的。。。位置或潜在位置簇模型...
  • 合金

  • 引用了30篇文章[sw01247]
  • Alloy是一种轻量级的软件语言建模. 它设计得很灵活。。。全自动的模拟检查. 在它的核心,合金是一个简单的第一。。。习语,并支持增量构造模型. 合金分析采用平移法。。。
  • 多灶神星

  • 参考6篇文章[sw08424]
  • 多灶神星:统计模型 检查离散事件模拟器. 这个建模分析与绩效评估。。。工程师就是在表演模拟系统的模型为了获得定量性质的统计估计。。。定量分析的工作是统计的模型 检查(SMC),其中严格的数学语言(典型的逻辑。。。由工具执行自动估计模拟模型就在眼前。这些属性规范语言。。。
  • 撒旦

  • 在39篇文章中引用[sw12804]
  • ANSI-C标准。本文提出了一个模型 检查工具,SatAbs,实现谓词抽象。。。用于抽象和模拟仅限于整数。撒旦战胜了。。。使用SAT解算器。这使得模型用于处理语义的检查器。。。
  • Cadence SMV公司

  • 27条引用[sw07795]
  • Cadence SMV是一个象征模型 检查工具,允许你正式验证时间。。。这意味着与其写一个模拟向量或模拟试验台。。。验证通常等同于等价检查,模型 检查基本上更一般。它允许。。。
  • 系统动力学

  • 引用16条[sw12336]
  • Vensim是模拟提高实际系统性能的软件。文西姆被用来。。。动态反馈模型. 我们强调:高品质,具有维度一致性和真实性检查™. 连接。。。精密的校准方法。连续瞬时输出模拟在合成中。灵活模型出版。模型分析。。。
  • 乌帕亚尔2K

  • 引用了43篇文章[sw01595]
  • 模型-检查人员。从3.4版开始模拟器可以将跟踪可视化为消息序列。。。与Uppaal2k验证程序的接口。A模型-自动安全验证检查器。。。空间。从3.2版开始,它也可以检查活性属性。生成诊断痕迹。。。自动加载并使用模拟器. 从3.4版开始。。。
  • 状态流

  • 引用了40篇文章[sw04350]
  • Stateflow®是一个建模模拟基于组合与序列决策逻辑。。。状态转换表和真值表模型你的系统对事件、时间的反应。。。静态机器和运行动画检查为了测试设计的一致性和完整性。。。
  • 玛丽亚

  • 引用19篇文章[sw04127]
  • 玛丽亚表演模拟,穷尽可达性分析和动态LTL模型 检查高的。。。
  • 你好,莫德

  • 引用4篇文章[sw09753]
  • 混合动力系统。你好,莫德支持模拟模型 检查对于一些数值近似。。。
  • 沙尔米

  • 引用4篇文章[sw11046]
  • 原型是自动创建的。沙尔米模拟模型 检查功能有助于理解功能。。。
  • 聪明的_

  • 参考33篇文章[sw04097]
  • 技术,以及符号CTL模型-检查算法是可用的。为了研究。。。马尔可夫链。另外,离散事件模拟无论随机性如何,都是适用的。。。过程,但某些类是非马尔可夫的模型仍然可以数值求解。最后,因为。。。