丹尼尔·奈德;马杜苏丹，P。;Shambwaditya萨哈;普拉纳夫·加格;Park，大军 一种基于学习的方法，用于合成不完整验证引擎的不变量。 （英语） Zbl 1468.68074号 J.汽车。推理 64，第7期，1523-1552（2020）.MSC公司：68号30 68第05页 60年第68季度 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{D.Neider}等人，J.Autom。推理64，No.7，1523--1552（2020；Zbl 1468.68074） 全文： 内政部 arXiv公司
丹尼尔·奈德;普拉纳夫·加格;马杜苏丹，P。;Shambwaditya萨哈;Park，大军 不完全验证引擎的不变综合。 （英语） Zbl 1423.68108号 Beyer，Dirk（编辑）等人，《系统构建和分析的工具和算法》。2018年4月14日至20日在希腊塞萨洛尼基举行的第24届国际会议（TACAS 2018），是欧洲软件理论与实践联合会议（ETAPS 2018）的一部分。诉讼程序。第一部分查姆：施普林格。勒克特。注释计算。科学。10805, 232-250 (2018).MSC公司：68号30 68第05页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Neider}等人，Lect。注释计算。科学。10805、232--250（2018；Zbl 1423.68108） 全文： 内政部