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

1. Finkel，Alain；Praveen，M.：扁平FIFO系统的验证（2020年）
2. Holík，Lukáš；Iosif，Radu；Rogalewicz，Adam；Vojnar，Tomš：无限状态系统跟踪包含的抽象精化和反链（2020）
3. Boutonet，Rémy；Halbwachs，Nicolas:通过超越递减序列的抽象解释改进程序分析的结果（2018）
4. Majumdar，Rupak；Raskin，Jean François:非布尔域中的符号模型检查（2018）
5. Konnov，Igor；Lazić，Marijana；Veith，Helmut；Widder，Josef:（\textPara^2）：阈值保护分布式算法中可及性的参数化路径缩减、加速和SMT（2017）
6. Konnov，Igor；Veith，Helmut；Widder，Josef:基于阈值的分布式算法的有界模型检查的完备性：可达性（2017）
7. Lengál，Ondřej；Lin，Anthony W.；Majumdar，Rupak；Rümmer，Philipp:参数化概率并发系统的公平终止（2017）
8. Pierre Chambart；Finkel，Alain；Schmitz，Sylvain:跟踪边界WST的正向分析和模型检查（2016）
9. Leroux，Jérôme；rümmer，Philipp；Subotić，Pavle:Guidating Craig interpolation with domain specific Abstrations（2016年）
10. Bouchy，Florent；Finkel，Alain；San Pietro，Pierluigi：重新审视密集选择柜台机（2014年）
11. Bouissou，Olivier；Seladji，Yassamin；Chapoutot，Alexandre:数值程序分析中抽象不动点计算的加速（2012）
12. Schrammel，Peter；Jeannet，Bertrand:将抽象加速应用于反应式程序的（co-）可达性分析（2012）
13. Bouajjani，Ahmed；Bozga，Marius；Habermell，Peter；Iosif，Radu；Moro，Pierre；Vojnar，Tomš：带有列表的程序是反自动机（2011）
14. Pierre Chambart；Finkel，Alain；Schmitz，Sylvain:跟踪边界WST的正向分析和模型检查（2011）
15. Colón，Michael A.；Sankaranarayanan，Sriram:模板多面体域的泛化（2011）
16. Bouissou，Olivier；Seladji，Yassamin；Chapoutot，Alexandre:用数值加速方法进行的抽象不动点计算（2010）
17. Bozga，Marius；Iosif，Radu；Perarnau，Swann:定量分离逻辑和列表程序（2010）
18. Klaedtke，Felix:EhrenfeuchtFraïsségoes automatic for real addition（2010年）
19. Daniel Kroneing；Weissenbacher，Georg:使用谓词抽象的循环验证和篡改程序（2010）
20. Schrammel，Peter；Jeannet，Bertrand:将抽象加速方法扩展到具有数值输入的数据流程序（2010）