德克·拜尔;马蒂亚斯·丹格尔;菲利普·温德勒 基于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) 全文: 内政部
亚历山德罗·西马蒂;伊曼·纳拉萨姆迪亚;马可·罗维里 使用显式调度程序和符号线程进行软件模型检查。 (英语) Zbl 1254.68074号 日志。方法计算。科学。 8,第2号,第18号论文,42页(2012).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Cimatti}等人,《日志》。方法计算。科学。8,第2号,第18号论文,42页(2012;Zbl 1254.68074) 全文: 内政部 arXiv公司