图巴·亚武兹 部分谓词抽象和反例引导精化。 （英语） Zbl 1494.68177号 J.日志。阿尔盖布。方法计划。 110，文章ID 100437，17 p.（2020）.MSC公司：60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit｛T.Yavuz｝，J.日志。阿尔盖布。方法计划。110，文章ID 100437，17 p.（2020；Zbl 1494.68177） 全文： 内政部 arXiv公司
亲爱的，丹尼斯;奥尔纳·格伦伯格 抽象和抽象提炼。 （英语） Zbl 1392.68244号 Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。385-419 (2018).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Dams}和\textit{O.Grumberg}，in：模型检查手册。查姆：斯普林格。385--419（2018；Zbl 1392.68244） 全文： 内政部
田聪;段振华;张楠 模型检查中的一种有效的抽象重定义方法。 （英语） Zbl 1252.68197号 西奥。计算。科学。 461、76-85（2012年）.MSC公司：60年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Tian}等人，Theor。计算。科学。461，76-85（2012；Zbl 1252.68197） 全文： 内政部
米科拉什·亚诺塔;若昂·西尔瓦侯爵 基于抽象的2QBF算法。 （英语） Zbl 1330.68115号 Sakallah，Karem A.（编辑）等人，《可满足性测试的理论和应用——2011年SAT》。2011年6月19日至22日，美国密歇根州安娜堡，第14届国际会议，SAT 2011。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-21580-3/pbk）。计算机科学讲座笔记6695，230-244（2011）。MSC公司：65年第68季度 03B05号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Janota}和\textit{J.Marques-Silva}，莱克特。注释计算。科学。6695，230-244（2011；Zbl 1330.68115） 全文： 内政部
弗兰乔·伊万契奇;杨紫江;马来K·加奈。;阿尔蒂·古普塔;普拉纳夫，阿沙尔 用于软件验证的高效SAT有界模型检查。 （英语） Zbl 1293.68079号 西奥。计算。科学。 404，第3期，256-274（2008）.MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{F.Ivanć}等人，Theor。计算。科学。404，第3号，256--274（2008；Zbl 1293.68079） 全文： 内政部
若昂·西尔瓦侯爵 基于SAT的模型检测中的插值学习和重用。 （英语） Zbl 1277.68140号 Strichman，Ofer（编辑）等人，《第四届有界模型检验国际研讨会论文集》（BMC 2006），西雅图，华盛顿州，美国，2006年8月15日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》174，第3期，31-43（2007）。MSC公司：60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.Marques-Silva}，电子。理论注释。计算。科学。174，第3号，31-43（2007；Zbl 1277.68140） 全文： 内政部
王超;罗德里克·布洛姆;加里·哈赫特尔（Gary D.Hachtel）。;卡维塔·拉维;法比奥·萨蒙齐 针对语言空洞的成分SCC分析。 （英语） Zbl 1100.68059号 形式方法系统。设计。 28，第1期，5-36（2006）.MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Wang}等人，《形式方法系统》。设计。28、第1号、第5--36号（2006；Zbl 1100.68059） 全文： 内政部