德克·拜尔;马蒂亚斯·丹格尔;菲利普·温德勒 关于基于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 1284.68179号 形式方法系统。设计。 第41期,第1期,第25-44页(2012年).MSC公司:68号30 60年第68季度 68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.F.Donaldson}等人,《形式方法系统》。设计。41、第1号、第25-44号(2012年;Zbl 1284.68179) 全文: 内政部 链接