伊米尔

Ymer:统计模型检验器。我们提出了一个用于验证随机离散事件系统的概率瞬态特性的工具Ymer。Ymer实现了统计和数值模型检查技术。重点研究了Ymer的两个特点:分布式接受抽样和嵌套概率语句的统计模型检验。


zbMATH中的参考文献(参考文献16条)

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

  1. 王、余;鲁希,尼玛;韦斯特,马修;维斯瓦纳坦,玛哈什;Dullerud,Geir E.:使用对比和分层样本对PCTL进行统计验证(2019年)
  2. 巴赫尔,梅赫梅特埃明;乔治,玛丽安;科努尔、萨瓦;Stannett,Mike:统计模型检验工具的比较分析(2017)
  3. 耶古瑞尔,西里尔;勒盖,阿克塞尔;Sedwards,Sean:基于命令的统计模型检验重要性抽样(2016)
  4. 巴列里尼,保罗;Duflot,Marie:表达统计模型检验方法在遗传电路分析中的应用(2015)
  5. 阿诺德,弗洛里安;基布勒,但以理;古克,丹尼斯;Hatefi,Hassan:交互式马尔可夫链教程(2014)
  6. Konur,Savas:迈向轻量化概率模型检验(2014)
  7. 科努尔、萨瓦;费舍尔,迈克尔;多布森,西蒙;诺克斯,斯蒂芬:《普适消息传递系统的形式化验证》(2014)IO端口
  8. 基弗,斯特凡;穆拉夫斯基,安德鲁泽吉。;瓦克宁,乔尔;瓦赫特,比约恩;沃雷尔,詹姆斯:算法概率博弈语义学。玩自动游戏(2013)
  9. 耶古瑞尔,西里尔;勒盖,阿克塞尔;Sedwards,Sean:高性能统计模型检验平台——PLASMA(2012)
  10. 卡托恩,乔斯特·皮尔特;克林,丹尼尔;洛克,马丁;Wolf,Verena:概率系统的三值抽象(2012)
  11. 卡德利,卢卡;拉森,金G。;马尔代尔:连续马尔科夫逻辑——从完全公理化到公式度量空间(2011)
  12. 大卫,亚历山大;拉森,金G。;勒盖,阿克塞尔;米库奇奥尼斯,马吕斯;丹尼·鲍尔森;范弗利特,乔纳斯;王,郑:定价时间自动机网络的统计模型检验(2011)
  13. 尤恩斯,Håkan L。S、 。;克拉克,埃德蒙·M。;Zuliani,Paolo:无界概率性质的统计验证(2011)
  14. 克拉克,埃德蒙;东泽,亚历山德拉;Legay,Axel:基于仿真的混合模拟电路概率模型检查(2010)
  15. 尤恩斯,Håkan L。S、 。;Simmons,Reid G.:统计概率模型检验与时间有界性(2006)
  16. 尤恩斯,Håkan L。S、 :Ymer:A统计模型检查器(2005)