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

1. Amato，Gianluca；Di Nardo Di Maio，Simone；Meo，Maria Chiara；Scozzari，Francesca:模板抽象域上的下降链和缩小（2018）
2. Boutonet，Rémy；Halbwachs，Nicolas:通过超越递减序列的抽象解释改进程序分析的结果（2018）
3. Schulze Frielinghaus，Stefan；Seidl，Helmut；Vogler，Ralf：强制终止过程间分析（2018）
4. Frohn，F.；Naaf，M.；Hensel，J.；Brockschmidt，M.；Giesl，J.：整数程序的运行时下限（2016年）
5. Roux，Pierre；Garoche，Pierre Loïc:实际政策迭代。静态分析中政策迭代的实际应用：二次案例（2015）
6. Maisonneuve，Vivien；Hermant，Olivier；Irigoin，François:使用变压器计算不变量：实验可伸缩性和准确性（2014）
7. Bouissou，Olivier；Seladji，Yassamin；Chapoutot，Alexandre:数值程序分析中抽象不动点计算的加速（2012）
8. Brauer，Jörg；King，Andy:无量词消除的传递函数合成（2012）
9. Gawlitza，Thomas Martin；Monniaux，David:简洁表示的控制流图中通过策略迭代生成不变量（2012）
10. Maisonneuve，Vivien:控制节点分裂的凸不变精化：启发式方法（2012）
11. Massé，Damien:通过政策迭代证明终止（2012）
12. Prakken，Henry:对当前两种形式论证趋势的思考（2012）
13. Schrammel，Peter；Jeannet，Bertrand:将抽象加速应用于反应式程序的（co-）可达性分析（2012）
14. Falke，Stephan；Kapur，Deepak；Sinz，Carsten:使用编译器中间语言的C程序终止分析（2011）
15. Gawlitza，Thomas Martin；Monniaux，David:通过SMT解决改进策略（2011）
16. Lakhdar Chaouch，Lies；Jeannet，Bertrand；Girault，Alain:具有复杂控制图的程序的阈值加宽（2011）
17. Peña，Ricardo；Delgado Muñoz，Agustin D.：函数语言中的大小不变量和排序函数综合（2011）ioport公司
18. Alias，Christophe；Dart，Alain；Feautrier，Paul；Gonnard，Laure:流程图程序的多维排名、程序终止和复杂性界限（2010）
19. Bouissou，Olivier；Seladji，Yassamin；Chapoutot，Alexandre:用数值加速方法进行的抽象不动点计算（2010）
20. Bozga，Marius；Iosif，Radu；Perarnau，Swann:定量分离逻辑和列表程序（2010）