特雷克斯

TREX是一种自动分析基于自动机的模型的工具,它配备了属于不同无限/有限域的变量和参数。目前,这些模型是参数(连续时间)时间自动机,扩展了整数计数器和有限域变量,并通过无界有损FIFO通道和共享变量进行通信。这个模型是用高级语言(如SDL)获得的模型的子集。


zbMATH参考文献(46篇文章引用,1标准件)

显示结果1到20,共46个。
按年份排序(引用)
  1. Finkel,Alain;Praveen,M.:扁平FIFO系统的验证(2020年)
  2. Pierre Chambart;Finkel,Alain;Schmitz,Sylvain:跟踪边界WST的正向分析和模型检查(2016)
  3. Yang Dongéné2014;Liu Jinéreal time;实时综合;And JunéYang,2014
  4. Waez,Md Tawhid Bin;Dingel,Juergen;Rudie,Karen:实时系统开发的时间自动机调查(2013)
  5. Heußner,Alexander;Le Gall,Tristan;Sutre,Grégoire:McScM:通信机器验证的通用框架(2012)ioport公司
  6. Bouajjani,Ahmed;Bozga,Marius;Habermell,Peter;Iosif,Radu;Moro,Pierre;Vojnar,Tomš:带有列表的程序是反自动机(2011)
  7. Pierre Chambart;Finkel,Alain;Schmitz,Sylvain:跟踪边界WST的正向分析和模型检查(2011)
  8. André,Étienne;Fribourg,Laurent:时间自动机行为制图(2010)
  9. Bersani,Marcello M.;Cavallaro,Luca;Frigeri,Achille;Pradella,Matteo;Rossi,Matteo:基于SMT的带整数约束的LTL规范验证及其在服务可替代性运行时检查中的应用(2010)ioport公司
  10. Bozga,Marius;Iosif,Radu;Konečný,Filip:最终周期关系的快速加速(2010)
  11. Bozga,Marius;Iosif,Radu;Perarnau,Swann:定量分离逻辑和列表程序(2010)
  12. Harris,William R.;Lal,Akash;Nori,Aditya诉;Rajamani,Sriram K.:终止变更(2010年)
  13. 杰森·奥尔蒂斯,詹姆斯;莱盖,阿克塞尔;斯科本斯,皮埃尔·伊夫:《记忆事件时钟》(2010)
  14. Kalyanasundaram,Bala;Velauthapillai,Mahe:函数的学习行为(2010)
  15. Yohan Boichut;Héam,Pierre Cyrille;Kouchnarenko,Olga:如何处理整数加权自动机正性(2009)
  16. Bouchy,Florent;Finkel,Alain;Sangnier,Arnaud:定时计数器系统中的可达性(2009)
  17. 芬克尔,阿兰;洛兹,埃蒂安;桑尼尔,阿诺:走向模型检查程序与清单(2009年)
  18. Rapin,Nicolas:基于符号执行的具有无界变量的开放系统模型检查(2009)
  19. Bardin,Sébastien;Finkel,Alain;Leroux,Jérôme;Petrucci,Laure:快速:从理论到实践的加速(2008)ioport公司
  20. Bouchy,Florent;Finkel,Alain;Leroux,Jérôme:整数和实数上可判定一阶逻辑的分解(2008)ioport公司

更多出版物请访问:http://www.liafa.jussieu.fr/~sighirea/trex/index.html参考文献