马雷克·查卢帕;斯特雷切克，简 循环折叠的向后符号执行。 （英语） Zbl 1497.68109号 Drágoi，Cezara（编辑）等人，《静态分析》。第28届国际研讨会，SAS 2021，芝加哥，伊利诺伊州，美国，2021年10月17日至19日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12913, 49-76 (2021).MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Chalupa}和\textit{J.Strejček}，莱克特。注释计算。科学。12913，49-76（2021；Zbl 1497.68109） 全文： 内政部
德克·拜尔;马蒂亚斯·丹格尔 PDR软件验证：最新技术的实现。 （英语） Zbl 1507.68178号 Biere，Armin（编辑）等人，《系统构建和分析的工具和算法》。第26届国际会议，TACAS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12078, 3-21 (2020).MSC公司：60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Beyer}和\textit{M.Dangl}，莱克特。注释计算。科学。12078，3--21（2020；Zbl 1507.68178） 全文： 内政部 arXiv公司
格里戈里·费迪尤科维奇;塞缪尔·考夫曼。;拉斯蒂斯拉夫·博迪克 通过频率分布采样学习归纳不变量。 （英语） Zbl 1506.68054号 表格方法系统。设计。 56，编号1-3，154-177（2020）.MSC公司：60年第68季度 68号30 第68季度32 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Fedyukovich}等人，《形式方法系统》。设计。56，编号1--3，154-177（2020；Zbl 1506.68054） 全文： 内政部
丹尼斯·佩特尔;维奥里卡Sofrone-Stokkerman 关于参数系统的不变综合。 （英语） Zbl 07178988号 Fontaine，Pascal（编辑），自动扣除-CADE 27。第27届自动扣减国际会议，巴西纳塔尔，2019年8月27日至30日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11716, 385-405 (2019).MSC公司：60年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{D.Peuter}和\textit{V.Sofronie-Stokkermans}，莱克特。注释计算。科学。11716、385--405（2019；Zbl 07178988） 全文： 内政部 arXiv公司
若昂·西尔瓦侯爵;沙拉德·马利克 命题SAT求解。 （英语） Zbl 1392.68380号 Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。247-275 (2018).MSC公司：第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{J.Marques-Silva}和\textit{S.Malik}，in：模型检查手册。查姆：斯普林格。247--275（2018；Zbl 1392.68380） 全文： 内政部
若昂·西尔瓦侯爵;米科拉什·亚诺塔;卡洛斯·门西娅 命题公式上的极小集。问题和减少。 （英语） 兹比尔1419.68098 Artif公司。智力。 252, 22-50 (2017).MSC公司：68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Marques-Silva}等人，Artif。智力。252、22-50（2017年；Zbl 1419.68098） 全文： 内政部 arXiv公司
贾斯敏·克里斯蒂安·布兰切特;Böhme，萨沙;马蒂亚斯·弗勒里;斯莫尔卡、斯蒂芬·朱尔夫;艾伯特·斯特克迈尔 机器生成证明的半不可分辨Isar证明。 （英语） Zbl 1356.68178号 J.汽车。推理 56，第2期，155-200（2016）.MSC公司：第68页第15页 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Blanchette}等人，J.Autom。推理56，No.2，155--200（2016；Zbl 1356.68178） 全文： 内政部 哈尔
米科拉什·亚诺塔;若昂·西尔瓦侯爵 单调谓词选择最小集的查询复杂性。 （英语） Zbl 1351.68117号 Artif公司。智力。 233, 73-83 (2016).MSC公司：65年第68季度 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{M.Janota}和\textit{J.Marques-Silva}，Artif。智力。233、73-83（2016年；Zbl 1351.68117） 全文： 内政部
傅军;吴金钊;谭红燕 代数转换系统推理的演绎方法。 （英语） Zbl 1394.68248号 数学。问题。工程师。 2015年，文章ID 607013，12 p.（2015）.MSC公司：68问题85 03B45 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛J.Fu｝等人，数学。问题。Eng.2015，文章ID 607013，12 p.（2015；Zbl 1394.68248） 全文： 内政部
斯蒂芬·福克;迪帕克·卡普尔 公式什么时候是循环不变量？ （英语） Zbl 1321.68191号 Martí-Oliet，Narciso（编辑）等人，《逻辑、重写和并发》。纪念何塞·梅塞盖尔65岁生日的文章。查姆：施普林格（ISBN 978-3-319-23164-8/pbk；978-3-3169-23165-5/电子书）。计算机科学讲义9200，264-286（2015）。MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Falke}和\textit{D.Kapur}，莱克特。注释计算。科学。9200、264--286（2015年；Zbl 1321.68191） 全文： 内政部
贾斯敏·克里斯蒂安·布兰切特;Böhme，萨沙;劳伦斯·C·鲍尔森。 使用SMT解算器扩展大锤。 （英语） Zbl 1314.68272号 J.汽车。推理 51，第1号，109-128（2013）.MSC公司：第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Blanchette}等人，J.Autom。推理51，No.1，109--128（2013；Zbl 1314.68272） 全文： 内政部
张志海;迪帕克·卡普尔 关于不变量检查。 （英语） Zbl 1310.68147号 J.系统。科学。复杂。 第3期第26期，第470-482页（2013年）.MSC公司：60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{Z.Zhang}和\textit{D.Kapur}，J.Syst。科学。复杂。26，第3号，470--482（2013；Zbl 1310.68147） 全文： 内政部
贾斯敏·克里斯蒂安·布兰切特;Böhme，萨沙;劳伦斯·C·鲍尔森。 使用SMT解算器扩展大锤。 （英语） Zbl 1314.68271号 Björner，Nikolaj（编辑）等人，《自动扣除——CADE-23》。2011年7月31日至8月5日在波兰Wrocław举行的第23届自动扣减国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22437-9/pbk；978-3-442-22438-6/电子书）。计算机科学课程讲稿6803。人工智能课堂讲稿，116-130（2011）。MSC公司：第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Blanchette}等人，Lect。注释计算。科学。6803116-130（2011年；Zbl 1314.68271） 全文： 内政部
阿拉斯泰尔·唐纳森。;利奥波德·哈勒;丹尼尔·克罗宁 通过轻量级静态分析加强基于导入的比赛检查。 （英语） Zbl 1317.68113号 Jhala，Ranjit（编辑）等人，《验证、模型检查和抽象解释》。2011年1月23日至25日，第12届国际会议，VMCAI 2011，美国德克萨斯州奥斯汀。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-18274-7/pbk）。计算机科学课堂讲稿6538，169-183（2011）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.F.Donaldson}等人，Lect。注释计算。科学。6538，169--183（2011；Zbl 1317.68113） 全文： 内政部
Böhme，萨沙;托比亚斯·尼普科 大锤：审判日。 （英语） Zbl 1291.68327号 Giesl，Jürgen（编辑）等人，《自动推理》。2010年7月16日至19日在英国爱丁堡举行的第五届国际联合会议，IJCAR 2010。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-14202-4/pbk）。计算机科学讲义6173。人工智能课堂讲稿，107-121（2010）。MSC公司：第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{S.Böhme}和\textit{T.Nipkow}，莱克托。注释计算。科学。6173、107-121（2010年；Zbl 1291.68327） 全文： 内政部 链接