安德鲁·雷诺兹;Kuncak,维克多;塞萨尔·蒂内利;克拉克·巴雷特;Deters,摩根 SMT中基于反驳的合成。 (英语) 兹比尔1427.68051 形式方法系统。设计。 55,第2期,73-102(2019).MSC公司:68号30 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.Reynolds}等人,《形式方法系统》。设计。55,编号2,73-102(2019;Zbl 1427.68051) 全文: 内政部
安德鲁·雷诺兹;Deters,摩根;Kuncak,维克多;塞萨尔·蒂内利;克拉克·巴雷特 SMT中用于合成的反例引导量词实例化。 (英语) Zbl 1381.68059号 Kroening,Daniel(编辑)等人,《计算机辅助验证》。第27届国际会议,CAV 2015,美国加利福尼亚州旧金山,2015年7月18日至24日。诉讼程序。第二部分。查姆:施普林格(ISBN 978-3-319-21667-6/pbk;978-3-3169-21668-3/ebook)。计算机科学讲座笔记9207198-216(2015)。MSC公司:68号30 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Reynolds}等人,Lect。注释计算。科学。9207198-216(2015年;兹bl 1381.68059) 全文: 内政部 arXiv公司