德克·拜尔;马蒂亚斯·丹格尔 PDR软件验证：最新技术的实现。 （英语） Zbl 1507.68178号 Biere，Armin（编辑）等人，《系统构建和分析的工具和算法》。第26届国际会议，TACAS 2020，作为欧洲软件理论与实践联合会议的一部分，于2020年4月25日至30日在爱尔兰都柏林举行。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12078, 3-21 (2020).MSC公司：60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Beyer}和\textit{M.Dangl}，莱克特。注释计算。科学。12078，3--21（2020；Zbl 1507.68178） 全文： 内政部 arXiv公司 OA许可证
德克·拜尔;苏米特·古尔瓦尼;戴维·施密特（David A.Schmidt）。 结合模型检查和数据流分析。 （英语） Zbl 1392.68231号 Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。493-540 (2018).MSC公司：60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit｛D.Beyer｝等人，在：模型检查手册中。查姆：斯普林格。493--540（2018；Zbl 1392.68231） 全文： 内政部
德克·拜尔;马蒂亚斯·丹格尔;菲利普·温德勒 基于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） 全文： 内政部 OA许可证