普维斯塔

PVeStA:一个并行的统计模型检验和定量分析工具。统计模型检验是概率系统的一种有吸引力的形式化分析方法,例如,在本质上通常是概率的网络物理系统。这篇论文是关于大幅度提高统计模型检查的可扩展性,并使这种分析的可扩展性可用于诸如Maude这样的工具,在Maude中,概率系统可以作为概率重写理论在一个高级别上指定。它提出了PVeStA,VeStA统计模型检查工具的扩展和并行化[10]。PVeStA支持概率实时系统的统计模型检查,该系统被指定为:(i)离散或连续Markov链;或(ii)Maude中的概率重写理论。进一步地,可以用时间逻辑(csqutex)来表示:(csquati/ii)可以用来检验。正如我们的实验所表明的那样,并行化可以获得非常高的性能增益。


zbMATH参考文献(16篇文章引用)

显示第1到16个结果,共16个。
按年份排序(引用)

  1. Liu,Si;嫘lveczky,Peter Csaba;Wang,Qi;Gupta,Indranil;Meseguer,José:Read atomic transactions with prevention of lost updates:ROLA及其形式分析(2019年)
  2. Lemos,Marcilio O.O.;Dantas,Yuri Gil;Fonseca,Iguatemi E.;Nigam,Vivek:关于TDoS攻击选择性防御的正式验证准确性(2018)
  3. 厄尔维茨基,彼得·卡萨巴:设计可靠的分布式系统。2017年(基于可执行方法的形式化建模)
  4. Liu,Si;厄尔维茨基,Peter Csaba;Meseguer,José:实时Maude移动自组网建模与分析(2016)
  5. Johnsen,Einar Broch;Schlatte,Rudolf;Tapia Tarifa,S.Lizeth:在时间面向对象模型中集成部署架构和资源消耗(2015)
  6. Belzner,Lenz;De Nicola,Rocco;Vandin,Andrea;Wirsing,Martin:重写逻辑中的推理(on)服务组件集成(2014)ioport公司
  7. Grov,Jon;厄尔维茨基,Peter Csaba:real-time maude中google megastore的形式化建模与分析(2014)ioport公司
  8. Bentea,Lucian;厄尔维茨基,Peter Csaba:概率重写理论的概率策略语言及其在云计算中的应用(2013)
  9. Eckhardt,Jonas;Mühlbauer,Tobias;Meseguer,José;Wirsing,Martin:复合演员系统的统计模型检验(2013)
  10. Meseguer,José;Roşu,Grigore:重写逻辑语义项目:进度报告(2013)
  11. Bruni,Roberto;Corradini,Andrea;Gadducci,Fabio;Iluch Lafuente,Alberto;Vandin,Andrea:与Maude一起建模和分析自适应自组装策略(2012)ioport公司
  12. Katelman,Michael;Keller,Sean;Meseguer,José:重写产生式规则集的语义(2012)
  13. JoséMeseguer:《重写逻辑的二十年》(2012)
  14. Wirsing,Martin;Eckhardt,Jonas;Mühlbauer,Tobias;Meseguer,José:与KLAIM和Maude一起设计和分析基于云的架构(2012)ioport公司
  15. AlTurki,Musab;Meseguer,José:PVeSTA:一种并行统计模型检验和定量分析工具(2011)ioport公司
  16. Lucian Bentea;厄尔维茨基,Peter Csaba:概率实时重写理论及其表达能力(2011)