吉登·恩斯特 使用不变量和契约进行循环验证。 （英语） 兹比尔1498.68074 Finkbeiner，Bernd（ed.）等人，《验证、模型检查和抽象解释》。第23届国际会议，VMCAI 2022，费城，宾夕法尼亚州，美国，2022年1月16日至18日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13182, 69-92 (2022).MSC公司：68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Ernst}，莱克特。注释计算。科学。13182，69-92（2022；Zbl 1498.68074） 全文： 内政部 arXiv公司
阿里·萨拉马蒂;萨代赫·苏贾尼;马吉德·扎马尼 具有信号时序逻辑约束的随机线性系统的数据驱动验证。 （英语） Zbl 1478.93672号 Automatica公司 131，文章ID 109781，10 p.（2021）.MSC公司：93E03型 93二氧化碳 03B44号 2015年1月62日 PDF格式BibTeX公司 XML格式引用 \textit{A.Salamati}等人，Automatica 131，文章ID 109781，10 p.（2021；Zbl 1478.93672） 全文： 内政部 链接
德克·拜尔;马蒂亚斯·丹格尔 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公司
阿科斯·哈伊杜;佐尔坦·米斯克 基于CEGAR的模型检查的有效策略。 （英语） Zbl 1468.68131号 J.汽车。推理 64，第6期，1051-1091（2020）.MSC公司：60年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{阿尔·哈伊杜}和\textit{Z.Micskei}，J.Autom。推理64，No.6，1051--1091（2020；Zbl 1468.68131） 全文： 内政部