佩斯塔

PVeStA:一种并行统计模型检验和定量分析工具。统计模型检验是概率系统的一种有吸引力的形式化分析方法,例如,通常是概率性的网络物理系统。本文是关于大幅增加统计模型检查的可扩展性,并使这种可伸缩性的分析可用于Maude之类的工具,其中概率系统可以被指定为概率重写理论的高层次。它提出了PVeStA,扩展和并行化的灶神星统计模型检查工具[10 ]。PVesta支持概率模型实时系统的统计模型检验:(i)离散的或连续的马尔可夫链;或(ii)Maude的概率重写理论。此外,它可以建模检查的属性可以表示在:(i)PCTL/CSL,或(ii)QuATEX定量时态逻辑。我们的实验表明,从并行化获得的性能增益可以非常高。


ZBMaCT中的参考文献(16篇文章中引用)

显示结果1至16的16。
按年份排序(引文

  1. 刘,SI;奥尔维茨基,Peter Csaba;王,齐;Gupta,Indranil;MeeGuer-Joe::阅读原子事务与防止丢失更新:ROLA及其形式分析(2019)
  2. 莱莫斯,Marcilio O. O.;Dantas,Yuri Gil;丰塞卡,Iguatemi E.,NigAM,维韦克:关于TDoS攻击选择性防御的形式验证的准确性(2018)
  3. Peter Csaba:设计可靠的分布式系统。基于MUDE(2017)的可执行建模的形式化方法
  4. 刘,SI;U.LVECZKY,Peter Csaba;MeeGuer-Joe:实时移动自组网的建模与分析(2016)
  5. 约翰森,Einar Broch;施拉特,鲁道夫;Tapia Tarifa,S. Lizeth:集成面向对象模型中的部署体系结构和资源消耗(2015)
  6. Belzner,楞次;De Nicola,罗科;范丁,安德列;Wirsing,马丁:重写逻辑中的服务组件集成的推理(2014)伊波尔特
  7. Grov,乔恩;奥尔维茨基,Peter Csaba:谷歌MaGuestor实时Maod(2014)的形式化建模与分析伊波尔特
  8. Bentea,卢西恩;U.LVEECZKY,Peter Csaba:概率重写理论的概率策略语言及其在云计算中的应用(2013)
  9. 埃克哈特,乔纳斯;M.Hulbaor,托拜厄斯;MeeGuer-Joee;Wirsing,马丁:复合角色系统的统计模型检验(2013)
  10. MeeGuer-Joee,Roüu,Grigo:重写逻辑语义项目:进度报告(2013)
  11. 布吕尼,罗伯托;科拉迪尼,安德列;GADDCISCI,法比奥;Lluch Lafuente,阿尔伯托;VANDIN,FI:建模和分析自适应自组装策略(2012)伊波尔特
  12. Katelman,米迦勒;凯勒,肖恩;梅塞格,约瑟夫:生产规则集的重写语义(2012)
  13. 梅塞格,乔斯:重写逻辑的二十年(2012)
  14. Wrrn,马丁;埃克哈特,乔纳斯;MuHulbor,托拜厄斯;MeeGuer-Joe:基于KLAIM和Mod(2012)的云结构的设计和分析伊波尔特
  15. AlTurki,Musab;MeeGuer-Joe: PVeSTA:并行统计模型检验和定量分析工具(2011)伊波尔特
  16. Bentea,卢西恩;奥尔维茨基,Peter Csaba:概率实时重写理论及其表现力(2011)