德克·拜尔;马蒂亚斯·丹格尔;菲利普·温德勒 更正为:“基于SMT的软件验证的统一观点”。 (英语) Zbl 1465.68043号 J.汽车。推理 65,第3号,461(2021).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Beyer}等人,J.Autom。推理65,No.3,461(2021;Zbl 1465.68043) 全文: 内政部
西尔维奥·吉拉尔迪;埃琳娜·帕加尼 高阶量词消除、反仿真和容错系统。 (英语) Zbl 07356977号 J.汽车。推理 65,编号3,425-460(2021).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilardi}和\textit{E.Pagani},J.Autom。推理65,No.3,425--460(2021;Zbl 07356977) 全文: 内政部
马可·沃伊格特 带有未解释谓词的线性有理算术的一阶可判定片段。 (英语) Zbl 07356976号 J.汽车。推理 65,第3期,357-423(2021).MSC公司:68伏15 PDF格式BibTeX公司 XML格式引用 \textit{M.Voigt},J.奥托姆。推理65,No.3,357--423(2021;Zbl 07356976) 全文: 内政部