弗洛里安·弗洛恩;吉尔根·吉斯尔 用证明非终止和运行时下限陆军部(系统描述)。 (英语) 兹伯利07628217 Blanchette,Jasmin(编辑)等人,《自动推理》。第十一届国际联合会议,2022年8月8日至10日,以色列海法,IJCAR 2022。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13385, 712-722 (2022).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{F.Frohn}和\textit{J.Giesl},莱克特。注释计算。科学。13385、712--722(2022;Zbl 07628217) 全文: 内政部
弗洛里安·弗洛恩 模块化循环加速的微积分。 (英语) Zbl 1507.68087号 Biere,Armin(编辑)等人,《系统构建和分析的工具和算法》。第26届国际会议,TACAS 2020,作为欧洲软件理论和实践联席会议的一部分,ETAPS 2020,2020年4月25日至30日,爱尔兰都柏林。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12078, 58-76 (2020).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{F.Frohn},莱克特。注释计算。科学。12078,58--76(2020;Zbl 1507.68087) 全文: 内政部 arXiv公司
马丁·乔纳什;斯特雷切克,J。 关于二进制编码的量化位向量算法的复杂性。 (英语) 兹伯利1476.68111 信息处理。莱特。 135, 57-61 (2018).MSC公司:65年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Jonáš}和\textit{J.Strejček},Inf.Process。莱特。135、57-61(2018;Zbl 1476.68111) 全文: 内政部 arXiv公司
彼得·施拉梅尔;丹尼尔·克罗宁;布莱恩,马丁;鲁本·马丁斯;蒂诺·特伊格;汤姆·比恩米勒 嵌入式软件的增量有界模型检查。 (英语) Zbl 1375.68081号 正式Asp。计算。 29,第5期,911-931(2017).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Schrammel}等人,《形式语法》。计算。29,第5号,911--931(2017;Zbl 1375.68081) 全文: 内政部 arXiv公司
弗罗恩。;M.纳夫。;亨塞尔,J。;布罗克施米特,M。;J·吉斯尔。 整数程序的运行时下限。 (英语) Zbl 1475.68134号 Olivetti,Nicola(编辑)等人,《自动推理》。2016年6月27日至7月2日在葡萄牙科因布拉举行的2016年第八届国际联合会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9706, 550-567 (2016).MSC公司:2017年第68季度 90立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{F.Frohn}等人,Lect。注释计算。科学。9706550-567(2016;Zbl 1475.68134) 全文: 内政部 arXiv公司
丹尼尔·克罗宁;马特·刘易斯;乔治·威森巴赫 使用跟踪自动机和有界模型检查证明安全性。 (英语) Zbl 1427.68047号 Björner,Nikolaj(编辑)等人,FM 2015:形式方法。第20届国际研讨会,挪威奥斯陆,2015年6月24-26日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9109, 325-341 (2015).MSC公司:68号30 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Kroening}等人,Lect。注释计算。科学。9109325--341(2015;Zbl 1427.68047) 全文: 内政部 arXiv公司