卡波迪,G。;卡穆拉蒂,体育。;M.帕莱纳。;帕西尼,P。 带引导精化的插值:在基于SAT的无界模型检查中重新访问增量。 (英语) Zbl 07683085号 形式方法系统。设计。 60,第2期,117-146(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{G.Cabodi}等人,《形式方法系统》。设计。60,第2号,117--146(2022;Zbl 07683085) 全文: DOI程序
詹皮埃罗·卡波迪;卡梅洛·洛伊亚科诺;丹尼洛·文德拉米内托 无界模型检验中Craig插值压实的优化技术。 (英语) Zbl 1341.68117号 形式方法系统。设计。 第2号第46页,第135-162页(2015年).MSC公司:60年第68季度 03C40号 68吨15 94立方厘米10 PDF格式BibTeX公司 XML格式引用 \textit{G.Cabodi}等人,《形式方法系统》。设计。46,No.2,135--162(2015;Zbl 1341.68117) 全文: DOI程序
阿戈斯蒂诺·科尔特斯;马蒂奥·扎尼奥利 用于抽象解释的加宽和缩小运算符。 (英语) Zbl 1218.68100号 计算。语言系统。结构。 37,第1期,24-42(2011).MSC公司:60年第68季度 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Cortesi}和\textit{M.Zanioli},计算。语言系统。结构。37,第1号,24-42(2011;Zbl 1218.68100) 全文: DOI程序