德克·拜尔;马蒂亚斯·丹格尔;菲利普·温德勒 基于SMT的软件验证的统一观点。 (英语) Zbl 1426.68041号 J.自动化。推理 60,第3号,299-335(2018); 更正同上,第65号,第3461(2021)。MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Beyer}等人,J.Autom。推理60,No.3,299--335(2018;Zbl 1426.68041) 全文: 内政部
亚历山德罗·西马蒂;阿尔贝托·格里乔;塞尔吉奥·莫弗;斯特凡诺·托内塔 使用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) 全文: 内政部