• 棱镜

  • 引用395篇文章[sw01186]
  • 概率系统。PRISM支持三个概率 模型离散时间马尔可夫链,马尔可夫决策过程。。。通过模型 检查这些系统违反了概率时态逻辑PCTL。。。工具功能三模型 检查引擎:一个符号,使用bdd(二进制决策图)和mtbdd。。。棱镜已成功地用于分析概率终止、性能和服务质量属性。。。
  • 拍打

  • 引用了30篇文章[sw13258]
  • 模拟器。最重要的是,PAT实现了模型 检查适应不同性质的技术,如。。。公平的假设,精细化检查概率 模型 检查. 为了获得良好的性能,先进的优化。。。
  • APMC公司

  • 27条引用[sw11483]
  • 近似值概率 模型 检查. 象征的模型 检查方法最近被扩展到验证。。。概率系统。然而,对于非常大的情况,转移矩阵的表示可能是昂贵的。。。模型 检查算法。在本文中,我们建议。。。对a的高度自信感到满意概率系统。我们的随机算法只需要一个简洁的。。。
  • MRMC公司

  • 引用66篇文章[sw04129]
  • 正在验证属性概率 模型. 它支持PCTL和CSL模型 检查以及他们的奖励。。。
  • 普维斯塔

  • 引用16条[sw08423]
  • 工具。统计学模型 检查是一种有吸引力的形式分析方法概率像这样的系统。。。概率本质上。本文是关于大幅提高统计的可伸缩性模型 检查... 工具[10]。PVeStA支持统计模型 检查属于概率实时系统指定为。。。概率重写莫德的理论。此外,它可以模型 检查...
  • 伊米尔

  • 引用15篇文章[sw09468]
  • 概率随机离散事件系统的瞬态特性。Ymer同时实现了统计和数值模型...检查技术。我们关注Ymer的两个特点。。。分布式验收抽样与统计模型 检查嵌套的概率声明。。。
  • 灶神星

  • 引用24篇文章[sw08425]
  • 统计分析概率系统。支持统计模型-检查[6,7]和统计评估。。。模型-检查VESTA使用一系列相互关联的统计假设检验来检查... 指定的财产概率计算树逻辑(PCTL)[3]或连续随机逻辑。。。满足于随机性模型. 此外,灶神星支持统计计算的期望值。。。
  • 迪普罗

  • 引用4篇文章[sw09744]
  • 一代人。反算实例概率 模型 检查一直是一个活跃的领域。。。允许计算和表示概率反例。我们提供了一个开源工具。。。与PRISM和MRMC一起使用概率 模型跳棋。它允许计算。。。
  • 引用18条[sw04136]
  • Probmela程序,是概率具有操作语义的保护命令语言。。。基于自动机的属性模型 检查算法。。。
  • 明确的原则

  • 引用2篇文章[sw13369]
  • 显式技巧模型在棱镜里。概率 模型 检查并发系统涉及到穷尽搜索。。。概率 模型,易于建造,性能相当好检查... 代表概率 模型. 我们报告明确表示模型在物业方面表现出色检查...
  • GPU棱镜

  • 引用2篇文章[sw19543]
  • 基于并行算法的概率 模型 检查为GPU调整的。特别地。。。
  • 普罗莫卡

  • 1条引用[sw18548]
  • 时间逻辑。第三,我们调整概率 模型 检查自动分析符合性的算法。。。
  • 聪明的_

  • 参考33篇文章[sw04097]
  • 概率复杂系统分析。Smart可以将不同的形式组合在一起建模学习。。。技术,以及符号CTL模型-检查算法是可用的。为了研究。。。
  • 耻辱

  • 引用5篇文章【sw21177】
  • 臭名昭著模型任意结构无限状态CTMCs的检验器。检查 概率计时属性。。。
  • 棱镜游戏

  • 引用13篇文章[sw12934]
  • 工具基于概率 模型checker PRISM,受益于其现有的用户界面。。。模拟器,同时添加新的模型 检查随机博弈的算法,以及功能。。。
  • 普斯茅德

  • 引用3篇文章[sw10125]
  • 特征。允许他们概率模拟与统计模型 检查通过伪随机。。。本文提出了一种概率允许用户定义。。。概率改写理论。我们用一个Maude工具扩展了PSMaude概率... 模拟器和统计模型检查我们的语言。我们说明了成为。。。
  • gbs公司

  • 引用了20篇文章[sw06078]
  • 分析来自GBS的数据模型. 此包包含概率可靠性指标和随机数。。。打包以便检查GBS的适用性模型. 在本文中。。。
  • CkC公司

  • 引用4篇文章[sw28199]
  • 检查连贯性(一致性)和扩展(推论)概率 模型基于部分。。。
  • 康帕斯

  • 1条引用[sw10953]
  • 从布希游戏和定性概率LTL公司模型 检查,它生成一个控制策略。。。