中央军委

CMC:实时系统的组合模型检查工具。本文提出了一种用于实时系统组合模型检验的工具(CMC)。与现有的实时验证工具(HYTECH、KRONOS、UPPAAL)相比,CMC基于一种完全不同的方法。在描述了该方法之后,我们通过两个例子来说明它的有效性:Fischer互斥协议和铁路道口系统。


zbMATH参考文献(参考 33篇文章 参考)

显示第1到第20个结果,共33个。
按年份排序(引用)
  1. Aceo,Luca;Fábregas,Ignacio;Gregorio Rodríguez,Carlos;Ingólfsdóttir,Anna:投入产出一致性模拟的逻辑特征、规则格式和组合性(2019年)
  2. Garavel,Hubert;Lang,Frédéric;Mateescu,Radu:使用CADP对异步并发系统的组合验证(2015)
  3. Byg,Joakim;Jacobsen,Morten;Jacobsen,Lasse;Jørgensen,Kenneth Yrke;Moller,Mikael Harkjær;Srba,Jiří:TCTL从时间弧Petri网到时间自动机网络的转换(2014)
  4. Fontana,Peter;Cleaveland,Rance:证明的力量:时间自动机模型检查的新算法(2014)
  5. Fontana,Peter;Cleaveland,Rance:时间自动机的动物园(2014)
  6. Lang,Frédéric;Mateescu,Radu:使用标记过渡系统和布尔方程系统网络的部分模型检查(2013年)
  7. Timo,Omer Landry Nguena;Reynier,Pierre Alain:关于事件记录自动机的特征公式(2013)
  8. Waez,Md Tawhid Bin;Dingel,Juergen;Rudie,Karen:实时系统开发的时间自动机调查(2013)
  9. Aceto,Luca;Birgisson,Arnar;Ingólfsdóttir,Anna;Mousavi,Mohammadeza:关于并行过程历史的分解推理(2012)
  10. 布耶,帕特里夏;卡塞兹,弗朗克;拉鲁西尼,弗朗索瓦:实时系统的时间模态逻辑。规范、验证和控制(2011)
  11. Jacobsen,Lasse;Jacobsen,Morten;Moller,Mikael H.;Srba,Jiří:时间弧Petri网的验证(2011)
  12. Larsen,Kim Guldstrand:时间自动机的符号和组合可达性(2010)
  13. Boniol,Frédéric;Ermont,Jérôme;Pagetti,Claire:实时系统的先发制人验证:消极和积极结果(2009)ioport公司
  14. Srba,Jiří:时间自动机和Petri网时间扩展的表达能力比较(2008)
  15. Cassez,Franck:部分可观测时间博弈的有效动态算法(2007)
  16. Cassez,Franck;David,Alexandre;Larsen,Kim G.;Lime,Didier;Raskin,Jean François:基于观察和结巴不变策略的定时控制(2007)
  17. Dierks,Henning;Kupferschmid,Sebastian;Larsen,Kim G.:时间自动机的自动抽象精化(2007)
  18. Carcenac,Francois;Boniol,Frederic:基于抽象方法验证分布式嵌入式系统的正式框架(2006)ioport公司
  19. Cassez,Franck;Chatain,Thomas;Jard,Claude:时间自动机网络的符号展开(2006)
  20. 贝拉德,比阿特丽斯;卡塞兹,弗朗克;哈达德,谢尔盖;莱姆,迪迪埃;鲁克斯,奥利维尔H.:时间自动机和时间Petri网表达能力的比较(2005)