• 爆炸

  • 在129篇文章中引用[sw02937]
  • 解决可达性问题,即给定的程序位置…安全属性是否可以降低到可达性,而BLAST则用于验证。。。
  • 参考109篇文章[sw12277]
  • 权衡,空间网络上的查询处理,以及可达性询问;理论计算机科学家分析距离。。。
  • SpaceEx公司

  • 引用75篇文章[sw10939]
  • 混合动力系统。我们提出了一个可扩展的可达性具有分段仿射的混合系统的算法…计算可达成的州。该算法比以前的工作改进了。。。
  • MRMC公司

  • 引用73篇文章[sw04129]
  • 支持计算时间和报酬限制可达性概率,(属性驱动)互模拟最小化,精确…检测。最近的工具功能包括时间限制可达性连续时间马尔可夫决策过程分析。。。
  • 廷布克

  • 引用47篇文章[sw06351]
  • 用于证明可达性长期重写系统和操纵…确定性有限树自动机)Timbuk和可达性分析可用于程序验证…树自动机完成引擎用于可达性分析。旧的Timbuk发行版(2.2)提供了三个独立的。。。
  • 乌帕阿尔提加

  • 引用46篇文章[sw12913]
  • 时间博弈自动机可达性以及安全性能。虽然游戏时间长…获得时间最优的获胜策略(为可达性游戏。。。
  • 发现者

  • 参考58篇文章[sw07719]
  • 程序的分析和不变生成,以及可达性混合系统的计算。。。
  • 验证

  • 引用了35篇文章[sw02011]
  • 今天的输入示例见这里,可达性分析可用。为了证明安全特性…有效的方法包括可达性时间自动机的可满足性问题…证明正确性,an(动态)可达性系统抽象模型分析。。。
  • 神圣的

  • 在56篇文章中引用[sw04130]
  • LTL模型检查和可达性离散分布系统分析。工具。。。
  • 日期/日期

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

  • 引用28篇文章[sw06311]
  • 安全验证和可达成的集计算大维,约束线性…检查交集的交集可达成的不安全的系统集合…不安全集合到可达成的系统的抽象集。。。
  • 乌帕亚尔2K

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

  • 引用21篇文章[sw07214]
  • 代码,并自动生成标准工具可达性检查(例如,状态空间生成……安全属性验证),可达性使用符号状态存储(向量集),完全符号化(基于BDD的。。。可达性,分布可达性(基于MPI)和多核可达性(包括多核压缩和增量。。。
  • 拍打

  • 在38篇文章中引用[sw13258]
  • 例如死锁自由度,散度自由度,可达性,具有公平性假设的LTL属性,精化检查。。。
  • 德拉赫

  • 引用19篇文章[sw20164]
  • 德雷赫:(δ)-可达性混合动力系统分析。德雷克是有界的可达性分析工具…非线性混合系统。它编码可达性一阶公式的混合系统问题。。。
  • 洛拉

  • 27条引用[sw04381]
  • 技术包括标准属性(活性、可逆性、有界性,可达性,死机转换,死锁,主状态)以及。。。
  • 玛丽亚

  • 引用19篇文章[sw04127]
  • 玛丽亚:模块化可达性代数系统网络分析仪Maria执行仿真,详尽无遗可达性分析。。。
  • 扁桃

  • 引用19篇文章[sw04142]
  • 自动机)。FLATA的主要功能是:可达性非递归程序分析-检查…错误控制状态为可达成的非递归程序的终止分析-终止条件的计算。。。
  • 科拉

  • 引用15篇文章[sw25659]
  • 连续的可达性Analyzer(CORA)是一个用于形式验证的MATLAB类集合…网络物理系统使用可达性分析。CORA集成了各种向量和矩阵集合的表示……对它们的操作以及可达性各种动态系统类的算法。软件…不需要修改代码可达性分析。CORA是用这个物体设计的。。。
  • 罗密欧

  • 在26篇文章中引用[sw00812]
  • 模型检查可达性属性。它执行从TPN到时间自动机(TAs)的转换。。。