卡波迪,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) 全文: 内政部
亚历山德罗·西马蒂;阿尔贝托·格里乔;塞尔吉奥·莫弗;斯特凡诺·托内塔 使用IC3和谓词抽象进行无限状态不变量检查。 (英文) Zbl 1368.68245号 形式方法系统。设计。 49,第3期,190-218(2016).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,《形式方法系统》。设计。49,第3号,190--218(2016;Zbl 1368.68245) 全文: 内政部