弗拉基米尔·克莱巴诺夫;菲利普·吕默;马蒂亚斯·乌尔布里奇 通过谓词抽象实现指针程序的自动回归验证。 (英语) Zbl 1392.68146号 形式方法系统。设计。 52,第3期,229-259(2018).MSC公司:68号30 03B70型 PDF格式BibTeX公司 XML格式引用 \textit{V.Klebanov}等人,《形式方法系统》。设计。52,第3号,229--259(2018;Zbl 1392.68146) 全文: DOI程序 链接
莫里茨·基弗;弗拉基米尔·克莱巴诺夫;马蒂亚斯·乌尔布里奇 使用编译器IR进行关系程序推理。 (英语) Zbl 1426.68052号 J.自动化。推理 60,第3期,337-363(2018).MSC公司:68号30 68N20型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kiefer}等人,J.Autom。推理60,No.3,337--363(2018;Zbl 1426.68052) 全文: DOI程序