zbMATH参考文献（46篇文章引用，1标准件)

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公司