• 爆炸

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

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

  • 引用了70篇文章[sw10939]
  • 混合动力系统。我们提出了一个可扩展的可达性分段仿射混合系统之演算法。。。计算可达成的州。该算法比以前的工作改进了。。。
  • 廷布克

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

  • 引用42篇文章[sw12913]
  • 时间博弈自动机可达性以及安全性能。虽然计时游戏很久了。。。获得时间最优的获胜策略(对于可达性游戏。。。
  • 神圣的

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

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

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

  • 引用了37篇文章[sw10314]
  • d/dt是一种用于可达性线性微分连续系统与混合系统分析。。。基于一种过度接近的方法可达成的正交多面体集合。也允许工具。。。
  • 乌帕亚尔2K

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

  • 引用25篇文章[sw06311]
  • 安全验证和可达成的大维约束线性方程组计算。。。检查可达成的一套不安全的系统。。。不安全集到可达成的系统的抽象集。。。
  • LTSmin公司

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

  • 引用31篇文章[sw13258]
  • 例如死锁自由度,散度自由度,可达性,具有公平性假设的LTL属性,精化检查。。。
  • 罗密欧

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

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

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

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

  • 引用24篇文章[sw01317]
  • 模块化建模的概念。该工具提供可达性分析和优化检查,都是用。。。
  • 拖把

  • 引用23条[sw10117]
  • 违反预期安全目标的状态是可达成的在节目里。主要优点。。。