zbMATH参考文献（参考 66篇文章 参考）

1. Aziem Chawdhary；Robbins，Ed；King，Andy:渐进式关闭八角形（2019）
2. Dimovski，Aleksandar S.；Brabrand，Claus；Wąsowski，Andrzej:为提升分析寻找合适的可变性抽象（2019）
3. Howe，Jacob M.；King，Andy；Simon，Axel:每个不等式两变量系统的增量闭包（2019）
4. Ouadjaout，Abdelraouf；Miné，Antoine:使用抽象马尔可夫链对通信协议进行定量静态分析（2019年）
5. Zolotykh，Nikolai Yu.；Bastrakov，Sergei I.：双描述方法下的两个图形测试变体（2019）
6. Boutonet，Rémy；Halbwachs，Nicolas:通过超越递减序列的抽象解释改进程序分析的结果（2018）
7. Heo，Kihong；Oh，Hakjoo；Yang，Hongseok：从静态分析生成的标记数据中学习八角形和上下文敏感性的分析策略（2018）
8. 《结构与价值》（Abstracting:and Structuring of Abstracting；Borrie Büs state；Abstracting；Borrie-B-state；Abstracting:WSZy-Boler-state；2017年）
9. Vincent Nugall过程的符号分析；Botillo-Tan，2017
10. Dan，Andrei；Meshman，Yuri；Vechev，Martin；Yahav，Eran:松弛记忆模型下验证的有效抽象（2017）
11. 蒋佳红；陈丽倩；吴学光；王吉：抽象域与SMT相结合的块式抽象解释（2017）
12. Liu，Jiangchao；Rival，Xavier:基于非连续分区的数组内容静态分析（2017）
13. Magron，Victor；Constantinides，George；Donaldson，Alastair:使用半定规划的认证舍入误差界（2017）
14. Maréchal，Alexandre；Monniaux，David；Périn，Michaël:通过参数线性规划实现多面体上的可伸缩最小化算子（2017）
15. Maréchal，Alexandre；Périn，Michaël:光线追踪有效消除多面体中的冗余（2017）
16. Monat，Raphaël；Miné，Antoine:使用关系干扰抽象对并发程序的精确线程模块化抽象解释（2017）
17. Singh，Gagandeep；Püschel，Markus；Vechev，Martin:快速多面体抽象域（2017）
18. Urban，Caterina；Miné，Antoine:通过抽象解释证明时间属性的排序函数推论（2017）
19. Frohn，F.；Naaf，M.；Hensel，J.；Brockschmidt，M.；Giesl，J.：整数程序的运行时下限（2016年）
20. Alexandre Maréchal；Fouilhé，Alexis；King，Tim；Monniaux，David；Périn，Michael:使用handelman定理的多元多项式的多面体逼近（2016）