马丁·克鲁查德;莱昂贡德尔曼;马里奥·佩雷拉 矩阵重新验证(验证珍珠)。 (英语) Zbl 1426.68164号 J.汽车。推理 60,第3期,365-383(2018).MSC公司:60年第68季度 65楼30 68伏15 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{M.Clochard}等人,J.Autom。推理60,No.3,365-383(2018;Zbl 1426.68164) 全文: 内政部 哈尔
莫里茨·基弗;弗拉基米尔·克莱巴诺夫;马蒂亚斯·乌尔布里奇 使用编译器IR进行关系程序推理。 (英语) Zbl 1426.68052号 J.汽车。推理 60,第3期,337-363(2018).MSC公司:68号30 68N20型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Kiefer}等人,J.Autom。推理60,No.3,337--363(2018;Zbl 1426.68052) 全文: 内政部
德克·拜尔;马蒂亚斯·丹格尔;菲利普·温德勒 基于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) 全文: 内政部
小岛贤介;今西明文;Atsushi Igarashi 自动验证无种族GPU程序的功能正确性。 (英语) Zbl 1426.68054号 J.汽车。推理 60,第3号,279-298(2018).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Kojima}等人,J.Autom。推理60,No.3,279--298(2018;Zbl 1426.68054) 全文: 内政部
Tan、Gang;格雷格·莫里塞特 机器码解码和编码的双向语法。 (英语) Zbl 1426.68069号 J.汽车。推理 60,第3期,257-277(2018).MSC公司:68N99型 2012年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{G.Tan}和\textit{G.Morrisett},J.Autom。推理60,No.3,257--277(2018;Zbl 1426.68069) 全文: 内政部
布兰奇,桑德琳(编辑);玛莎·契契克(编辑) 2016年VSTTE精选扩展论文。 (英语) Zbl 1426.68006号 J.汽车。推理 60,第3号,255-256(2018).MSC公司:68-06 68号30 60年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{S.Blazy}(编辑)和\textit{M.Chechik}(编辑),J.Autom。推理60,No.3,255--256(2018;Zbl 1426.68006) 全文: 内政部