棱镜

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


zbMATH中的参考文献(引用于,2标准条款)

显示398个结果中的1到20个。
按年份排序(引用)

1 2 ... 18 19 20 下一个

  1. Baier,Christel;Hensel,Christian;Hutshenreiter,Lisa;Junges,Sebastian;Katoen,Joost Pieter;Klein,Joachim:参数马尔可夫链:PCTL复杂性和无分数高斯消去(2020)
  2. Michaliszyn,Jakub;Otop,Jan:基于马尔可夫链的非确定性加权自动机评估(2020)
  3. 概率距离判定法(Francis Tang,概率自动机,2020年)
  4. Aichernig,Bernhard K.;Tappler,Martin:概率黑盒可达性检查(扩展版)(2019)
  5. Bartocci,Ezio;Kovács,Laura;Stankovič,Miroslav:可解循环的基于矩的不变量的自动生成(2019)
  6. Marco Bozzano;Cimatti,Alessandro;Mattarei,Cristian:冗余架构的形式可靠性分析(2019)
  7. Carlos Camacho;Luis Llana;Alberto Núnez;Mario Bravetti:概率软件产品线(2019年)
  8. Cardelli,Luca;Tribastone,Mirco;Tchaikowski,Max;Vandin,Andrea:微分等效的符号计算(2019年)
  9. Krishnendu Chatterjee;Henzinger,Thomas A.;Otop,Jan:概率语义学下的定量自动机(2019)
  10. 古铁雷斯,朱利安;哈伦斯坦,保罗;佩雷利,朱塞佩;伍尔德里奇,迈克尔:纳什均衡和互模拟不变性(2019)
  11. Jamroga,Wojciech;Malvone,Vadim;Murano,Aniello:自然战略能力(2019年)
  12. Liu,Si;嫘lveczky,Peter Csaba;Wang,Qi;Gupta,Indranil;Meseguer,José:Read atomic transactions with prevention of lost updates:ROLA及其形式分析(2019年)
  13. Ouadjaout,Abdelraouf;Miné,Antoine:使用抽象马尔可夫链对通信协议进行定量静态分析(2019年)
  14. Ramasubramanian,Bhaskar;Niu,Luyao;Clark,Andrew;Bushnell,Linda;Poovendran,Radha:使用安全控制屏障证书的对抗性环境中的线性时序逻辑满意度(2019)
  15. Spel,Jip;Junges,Sebastian;Katoen,Joost Pieter:参数Markov链是单调的吗?(2019年)
  16. Sproston,Jeremy:有限互模拟概率混合自动机的验证与控制(2019)
  17. Wang,Yu;Roohi,Nima;West,Matthew;Viswanathan,Mahesh;Dullerud,Geir E.:使用对偶和分层样本对PCTL进行统计验证(2019年)
  18. Andrei,Oana;Calder,Muffy:交互式软件使用的数据驱动建模和概率分析(2018)
  19. Anticoli,Linda;Ghahi,Masoud Gharahi:使用演化纠缠超图模拟量子协议中的三方纠缠(2018)
  20. Baier,Christel;de Alfaro,Luca;Forejt,Vojtěch;Kwiatkowska,Marta:模型检验概率系统(2018)

1 2 ... 18 19 20 下一个


更多出版物请访问:http://www.prismodelchecker.org/publications.php