• MRMC公司

  • 引用了70篇文章[sw04129]
  • 最近的工具功能包括时间限制可达性 分析对于连续时间马尔可夫决策过程(CTMDPs。。。
  • 廷布克

  • 引用47篇文章[sw06351]
  • 确定性有限树自动机)Timbuk和可达性 分析可用于程序验证。。。树自动机完成引擎用于可达性 分析. 旧的Timbuk发行版(2.2)提供了三个独立的。。。
  • 神圣的

  • 引用了55篇文章[sw04130]
  • LTL模型检查和可达性 分析离散分布式系统。工具。。。
  • 验证

  • 参考33篇文章[sw02011]
  • 今天的输入见这里,可达性 分析是可用的。为了证明安全性能。。。一种有效的翻译方法可达性时间自动机的可满足性问题。。。证明正确性,an(动态)可达性 分析在系统的抽象模型上。。。
  • 乌帕亚尔2K

  • 引用了43篇文章[sw01595]
  • 安全性和粘结活性特性可达性 分析符号状态空间。自版本。。。
  • 日期/日期

  • 引用了37篇文章[sw10314]
  • d/dt是一种用于可达性 分析具有线性微分的连续系统和混合系统。。。基于一种过度接近的方法可达成的正交多面体集合。该工具还允许。。。
  • 兔子

  • 引用24篇文章[sw01317]
  • 模块化建模。该工具提供可达性 分析和优化检查,都是用数据实现的。。。
  • 德拉赫

  • 引用16条[sw20164]
  • 德雷赫:(δ)-可达性 分析混合动力系统。德雷克是有界的可达性 分析工具。。。
  • 违反

  • 引用23条【sw20822】
  • 基于仿真的技术旨在分析混合动力系统的确定性模型。。。后者用于执行近似可达性 分析以及参数综合。一个主要的小说特征。。。
  • 扁桃

  • 引用18条[sw04142]
  • 用于操作和分析非确定性整数程序(也称为…FLATA的主要功能是:可达性 分析非递归程序-检查错误。。。控制状态为可达成的终止分析非递归程序-终止条件计算。。。
  • 玛丽亚

  • 引用19篇文章[sw04127]
  • 系统网络Maria执行模拟,详尽无遗可达性 分析以及实时LTL模型检查。。。
  • 拉玛斯

  • 参考12篇文章[sw10958]
  • 可达性 分析多仿射系统。我们提出了一种可达性 分析连续的。。。
  • 科拉

  • 在10篇文章中引用[sw25659]
  • 网络物理系统的验证可达性 分析. CORA集成了各种向量和矩阵。。。对他们的行动以及可达性各种动态系统类的算法。软件。。。必须修改代码可达性 分析. CORA是使用面向对象的。。。
  • 发现者

  • 在56篇文章中引用[sw07719]
  • 自我解决,终止分析以及程序的不变生成,以及可达性混合系统的计算。。。
  • 甚高频

  • 在10篇文章中引用[sw20688号]
  • 例如基于距离的启发式和可达性 分析. 我们提出了一个适应的添加剂。。。
  • 武力

  • 引用9篇文章[sw09016]
  • 加速SAT求解。应用于可达性 分析也取得了成功[12]。主要缺点。。。
  • 马可

  • 引用5篇文章[sw02719]
  • 提出了一种新的算法可达性 分析多仿射混合系统。。。以前的工作可达性 分析而我们的合作者,我们利用了凸性。。。显式计算可达成的设置每一个的不变量。。。模式。我们描述我们的多重仿射可达性 分析用圆锥形过近似,马可,并证明。。。
  • 玛西

  • 引用8篇文章[sw12882]
  • MARCIE——模型检查和可达性 分析效率高。MARCIE是分析...
  • DSSZ-MC公司

  • 参考6篇文章[sw01360]
  • 有限向后法模型检验可达性 分析. 该工具可用于Windows、Linux。。。
  • 验证

  • 参考6篇文章[sw09464]
  • 自动机和两种互补的方法可达性 分析. 第一种是基于有界。。。