康斯坦丁·埃纳;Ondřej Lengál;米哈埃拉·西希雷亚努;汤姆·沃纳 分离逻辑片段的合成蕴涵检查。 (英语) Zbl 1377.68073号 形式方法系统。设计。 51,第3期,575-607(2017).MSC公司:68号30 03B70型 68第05页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Enea}等人,《形式方法系统》。设计。51,第3号,575--607(2017;Zbl 1377.68073) 全文: 内政部 哈尔
卢卡什·霍利克;马丁·赫鲁斯卡;Ondřej Lengál;亚当·罗加列维奇;汤姆·沃纳 森林自动机的反例验证和基于插值的精化。 (英语) Zbl 1484.68103号 Bouajjani,Ahmed(编辑)等人,《验证、模型检查和抽象解释》。2017年1月15日至17日在法国巴黎举行的2017年VMCAI第18届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10145, 288-309 (2017).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Holík}等人,Lect。注释计算。科学。10145,288--309(2017;Zbl 1484.68103) 全文: 内政部
阿卜杜拉·帕罗什·阿齐兹;卢卡什·霍利克;本特·琼森;Ondřej Lengál;聪奎·特里恩;汤姆·沃纳 通过扩展森林自动机验证具有有序数据的堆操作程序。 (英语) 兹伯利1344.68136 学报信息。 53,第4期,357-385(2016).MSC公司:60年第68季度 68第05页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Acta Inf.53,No.4,357--385(2016;Zbl 1344.68136) 全文: 内政部 链接