彼得·贝克曼;菲利普·吕默;Aleksandar Zeljić 使用未解释的谓词和Presburger算法插值位向量公式。 (英语) Zbl 1522.68142号 形式方法系统。设计。 57,第2期,121-156(2021).MSC公司:68号30 03B70号 03C10号机组 30楼03号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Backeman}等人,《形式方法系统》。设计。57,编号2,121--156(2021;Zbl 1522.68142) 全文: 内政部
弗拉基米尔·克莱巴诺夫;菲利普·吕默;马蒂亚斯·乌尔布里奇 通过谓词抽象实现指针程序的自动回归验证。 (英语) 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) 全文: 内政部 链接
阿尔贝托·格里乔(编辑);菲利普·吕默(编辑) 可满足性模理论专题前言。 (英语) Zbl 1377.68005号 形式方法系统。设计。 51,第3号,431-432(2017).MSC公司:68-06 03B70号 60年第68季度 68吨15 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Griggio}(编辑)和\textit{P.Rümmer}(主编),《形式方法系统》。设计。51,No.3,431--432(2017;Zbl 1377.68005) 全文: 内政部
菲利普·吕默;侯赛因·霍贾特;维克多·昆卡 关于无递归Horn子句和Craig插值。 (英语) Zbl 1322.68134号 形式方法系统。设计。 47,第1号,1-25(2015).MSC公司:60年第68季度 03C40号 PDF格式BibTeX公司 XML格式引用 \textit{P.Rümmer}等人,《形式方法系统》。设计。47,第1号,1-25(2015;Zbl 1322.68134) 全文: 内政部
拜伦·库克;丹尼尔·克罗宁;菲利普·吕默;Christoph M.温特斯泰格。 位向量关系的排序函数综合。 (英语) Zbl 1291.68138号 形式方法系统。设计。 43,第1期,93-120(2013).MSC公司:68号30 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{B.Cook}等人,《形式方法系统》。设计。43,第1号,93-120(2013;Zbl 1291.68138) 全文: 内政部 链接
阿拉斯泰尔·唐纳森。;丹尼尔·克罗宁;菲利普·吕默 使用模型检查和(k)-归纳法自动分析DMA竞争。 (英语) Zbl 1233.68124号 形式方法系统。设计。 39,第1期,第83-113页(2011年).MSC公司:68号30 60年第68季度 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{A.F.Donaldson}等人,《形式方法系统》。设计。39,第1号,第83-113条(2011;Zbl 1233.68124) 全文: 内政部