zbMATH参考文献（35篇文章引用）

1. Finkel，Alain；Praveen，M.：扁平FIFO系统的验证（2020年）
2. Boutonet，Rémy；Halbwachs，Nicolas:通过超越递减序列的抽象解释改进程序分析的结果（2018）
3. Majumdar，Rupak；Raskin，Jean François:非布尔域中的符号模型检查（2018）
4. Konnov，Igor；Lazić，Marijana；Veith，Helmut；Widder，Josef:（\textPara^2）：阈值保护分布式算法中可及性的参数化路径缩减、加速和SMT（2017）
5. Konnov，Igor；Veith，Helmut；Widder，Josef:基于阈值的分布式算法的有界模型检查的完备性：可达性（2017）
6. Pierre Chambart；Finkel，Alain；Schmitz，Sylvain:跟踪边界WST的正向分析和模型检查（2016）
7. Leroux，Jérôme；rümmer，Philipp；Subotić，Pavle:Guidating Craig interpolation with domain specific Abstrations（2016年）
8. Bouchy，Florent；Finkel，Alain；San Pietro，Pierluigi：重新审视密集选择柜台机（2014年）
9. Bouissou，Olivier；Seladji，Yassamin；Chapoutot，Alexandre:数值程序分析中抽象不动点计算的加速（2012）
10. Schrammel，Peter；Jeannet，Bertrand:将抽象加速应用于反应式程序的（co-）可达性分析（2012）
11. 皮尔·博阿杰德·博阿杰尔（Pierre Bouajna）和《摩洛·博伊尔·拉杰尔（Peter Boujna）的程序》（Pierre Bouajna，If Automathed；2011年版；与《摩洛·博伊尔·拉贾尔》（Peter Boujna）合著的《反程序》（counter Programs）；与《摩洛·博伊尔
12. Pierre Chambart；Finkel，Alain；Schmitz，Sylvain:跟踪边界WST的正向分析和模型检查（2011）
13. Colón，Michael A.；Sankaranarayanan，Sriram:模板多面体域的泛化（2011）
14. Bouissou，Olivier；Seladji，Yassamin；Chapoutot，Alexandre:用数值加速方法进行的抽象不动点计算（2010）
15. Bozga，Marius；Iosif，Radu；Perarnau，Swann:定量分离逻辑和列表程序（2010）
16. Klaedtke，Felix:EhrenfeuchtFraïsségoes automatic for real addition（2010年）
17. Daniel Kroneing；Weissenbacher，Georg:使用谓词抽象的循环验证和篡改程序（2010）
18. Schrammel，Peter；Jeannet，Bertrand:将抽象加速方法扩展到具有数值输入的数据流程序（2010）
19. Yohan Boichut；Héam，Pierre Cyrille；Kouchnarenko，Olga:如何处理整数加权自动机正性（2009）
20. Bouchy，Florent；Finkel，Alain；Sangnier，Arnaud:定时计数器系统中的可达性（2009）