雷米·波顿;尼古拉斯·哈尔巴赫斯 通过超出递减序列的抽象解释改进程序分析结果。 (英语) Zbl 1425.68064号 形式方法系统。设计。 53,第3号,384-406(2018).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Boutonet}和\textit{N.Halbwachs},《形式方法系统》。设计。53,编号3,384--406(2018;Zbl 1425.68064) 全文: DOI程序 哈尔
托马斯·马丁;戴维·莫尼奥 通过策略迭代在简洁表示的控制流图中生成不变量。 (英语) Zbl 1248.68142号 日志。方法计算。科学。 8,第3号,第29号论文,35页(2012年).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{T.M.Gawlitza}和\textit{D.Monniaux},日志。方法计算。科学。8,第3号,第29号论文,35页(2012;Zbl 1248.68142) 全文: DOI程序 arXiv公司
托马斯·马丁·高利察;赫尔穆特·塞德尔;阿萨勒阿杰;圣埃芬·高伯特;埃里克·古堡 抽象解释满足凸优化。 (英语) Zbl 1246.90118号 J.塞姆。计算。 47,第12期,1416-1446(2012).MSC公司:90C25型 65千5 PDF格式BibTeX公司 XML格式引用 \textit{T.M.Gawlitza}等人,J.Symb。计算。47,第12号,1416--1446(2012;Zbl 1246.90118) 全文: DOI程序