安德鲁·雷诺兹;金,蒂姆;维克多·昆卡 通过反例引导实例化求解量化线性算法。 (英语) Zbl 1377.68138号 形式方法系统。设计。 51,第3号,500-532(2017).MSC公司:60年第68季度 03B70号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Reynolds}等人,《形式方法系统》。设计。51,第3号,500--532(2017;Zbl 1377.68138) 全文: 内政部 链接
查尔斯·布伊拉盖;维克多·昆卡;托马斯·怀斯;凯伦·泽伊;马丁·里纳德 在Jahob数据结构验证系统中使用一阶定理证明器。 (英语) Zbl 1132.68348号 Cook,Byron(编辑)等人,《验证、模型检查和抽象解释》。2007年1月14日至16日在法国尼斯举行的2007年VMCAI第八届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-69735-0/pbk)。计算机科学课堂讲稿4349,74-88(2007)。MSC公司:68第05页 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{C.Bouillaguet}等人,Lect。票据计算。科学。4349、74-88(2007年;Zbl 1132.68348) 全文: 内政部 链接