棱镜

棱镜:概率符号模型检查器。在本文中,我们描述棱镜,在伯明翰大学开发的一种工具,用于概率系统的分析。PRISM支持三种概率模型:离散时间马尔可夫链、马尔可夫决策过程和连续时间马尔可夫链。通过对在概率时态逻辑PCTL和CSL中编写的规范的系统检查来进行分析。该工具具有三个模型检查引擎:一个符号,使用BDDS(二进制决策图)和MTBDDS(多终端BDDS);一个基于稀疏矩阵;一个结合了符号和稀疏矩阵方法。棱镜已经成功地用于分析一系列系统的概率终止、性能和服务质量属性,包括随机化分布式算法、制造系统和工作站集群。


ZBMaX中的参考文献(393篇)2篇标准文章

显示结果1至20的393。
按年份排序(引文
  1. Michaliszyn,Jakub;Otop,Jun:马尔可夫链上的非确定性加权自动机(2020)
  2. 唐,齐一;van Breugel,弗兰克:概率自动机的概率双仿射距离一(2020)
  3. Aichernig,Bernhard K.;Tappler,马丁:概率黑盒可达性检查(扩展版本)(2019)
  4. 博扎诺,马珂;CimaTi,Alessandro;MaTaRei,克里斯蒂安:冗余体系结构的形式可靠性分析(2019)
  5. 卡马乔,卡洛斯;Llana,路易斯;N.N. Nez,阿尔伯托;BraveTi,马里奥:概率软件产品线(2019)
  6. Cardelli,卢卡;TrbasOne,Micro;Tschaikowski,马克斯;范丁,安德列:微分等效的符号计算(2019)
  7. Krishnendu的查泰吉;Henzinger,Thomas A.;Otop,简:概率语义学下的定量自动机(2019)
  8. 古铁雷斯,朱利安;哈伦斯坦,保罗;Perelli,GuuePpe;Wooldridge,米迦勒:纳什平衡和互模拟不变性(2019)
  9. Malvone,Vadim,穆拉诺,Aniello:自然战略能力(2019)
  10. 刘,SI;奥尔维茨基,Peter Csaba;王,齐;Gupta,Indranil;MeeGuer-Joe::阅读原子事务与防止丢失更新:ROLA及其形式分析(2019)
  11. UAdjout,Abdelraouf;Min E.,安托万:使用抽象马尔可夫链的通信协议的定量静态分析(2019)
  12. Sproston,杰瑞米:有限互模拟概率混合自动机的验证与控制(2019)
  13. 王,禹;Roohi,仁摩;欧美地区,马修;Viswanathan,马赫什;Dullerud,Geir E.:PCTL使用对立和分层样本的统计验证(2019)
  14. 安德列,Oana;考尔德,Muffy:交互式软件使用的数据驱动建模和概率分析(2018)
  15. Anticoli,琳达;Ghahi,Masoud Gharahi:利用演化纠缠超图模拟量子协议中的三方纠缠(2018)
  16. Baier,克里斯特尔;de Alfaro,卢卡;PROJJT,Vojt.Ch;KWATKOWSKA,马尔塔:概率系统模型检验(2018)
  17. Bart,Anicet;DelaHaye,Beoo.t;FunnER,Paulin;石灰,Ddier-;Munfury,Eyric;Truchet,夏洛特:使用约束的参数区间马尔可夫链可达性(2018)
  18. 盆地,戴维,CurMeS,CAS;Meadows,凯瑟琳:模型检验安全协议(2018)
  19. Bortolussi,卢卡;Lanciani,罗伯塔;NeNi,劳拉:用随机近似检验马尔可夫人口模型(2018)
  20. CasZeleFelioug,G.KATSAROS,P:概率系统的抽象模型修复(2018)

进一步的出版物可以在:HTTP://www. PrimMealSimultK.Org/Expults.PHP