卡波迪,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) 全文: 内政部
卡波迪,G。;卡穆拉蒂,体育。;A.米什琴科。;M.帕莱纳。;帕西尼,P。 IC3中SAT求解器管理策略:实验方法。 (英语) Zbl 1360.68580号 表格方法系统。设计。 50,第1号,39-74(2017).MSC公司:60年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{G.Cabodi}等人,《形式方法系统》。设计。50,第1号,39--74(2017;Zbl 1360.68580) 全文: 内政部
吉安皮耶罗·卡博迪;卢瓦科诺,卡梅罗;丹尼洛·文德拉米内托 无界模型检验中Craig插值压实的优化技术。 (英语) Zbl 1341.68117号 表格方法系统。设计。 46,第2期,135-162(2015).MSC公司:60年第68季度 03C40号 第68页第15页 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{G.Cabodi}等人,《形式方法系统》。设计。46,No.2,135--162(2015;Zbl 1341.68117) 全文: 内政部
吉安皮耶罗·卡博迪;塞尔吉奥·诺科;斯特凡诺·奎尔 对模型检查器进行基准测试,以改进算法并调整性能。 (英语) Zbl 1247.68160号 表格方法系统。设计。 39,第2期,205-227(2011).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Cabodi}等人,《形式方法系统》。设计。39,第2号,205-227(2011;Zbl 1247.68160) 全文: 内政部