中央军委

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


zbMATH中的参考文献(34篇文章中引用)

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