阿尔贝托·格里乔;马可·罗维里;斯特凡诺·托内塔 基于SAT的模型检查的认证证明。 (英语) Zbl 1522.68319号 形式方法系统。设计。 57,编号2,178-210(2021).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Griggio}等人,《形式方法系统》。设计。57,编号2,178--210(2021;Zbl 1522.68319) 全文: DOI程序 链接
亚历山德罗·西马蒂;阿尔贝托·格里乔;恩里科·马格纳戈;马可·罗维里;斯特凡诺·托内塔 基于SMT的具有事件冻结函数和度量算子的一阶LTL的可满足性。 (英语) Zbl 1443.68104号 Inf.计算。 272,文章ID 104502,17 p.(2020).MSC公司:60年第68季度 03B44号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,信息计算。272,文章ID 104502,17 p.(2020;Zbl 1443.68104) 全文: DOI程序