扬尼克·扎科夫斯基;大卫·卡切拉;德尔芬·德曼吉;古斯塔沃·佩特里;大卫·皮哈迪;苏雷什·贾甘纳森;维泰克,简 使用可靠保证方法验证并发垃圾收集器。 (英语) Zbl 1468.68068号 J.汽车。推理 63,第2期,489-515(2019).MSC公司:68N20型 68号30 60年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{Y.Zakowski}等人,J.Autom。推理63,No.2,489--515(2019;Zbl 1468.68068) 全文: DOI程序 哈尔
扬尼克·扎科夫斯基;大卫·卡切拉;德尔芬·德曼吉;古斯塔沃·佩特里;大卫·皮哈迪;苏雷什·贾甘纳森;维泰克,简 使用相对保证方法验证并发垃圾收集器。 (英语) Zbl 1468.68067号 Ayala-Rincón,Mauricio(编辑)等人,交互式定理证明。2017年9月26日至29日在巴西巴西利亚举行的2017年ITP第八届国际会议。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。10499, 496-513 (2017).MSC公司:68N20型 68号30 60年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{Y.Zakowski}等人,Lect。票据计算。科学。10499,496--513(2017;Zbl 1468.68067) 全文: DOI程序 哈尔
大卫·卡切拉;大卫·皮哈迪 经过认证的指称式抽象解释器。 (英语) Zbl 1291.68331号 Kaufmann,Matt(编辑)等人,《交互式定理证明》。2010年7月11日至14日,英国爱丁堡,首届国际会议,ITP 2010。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-14051-8/pbk)。计算机科学课堂讲稿6172,9-24(2010)。MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.Cachera}和\textit{D.Pichardie},莱克特。票据计算。科学。6172,9--24(2010年;Zbl 1291.68331) 全文: DOI程序 链接
弗雷德里克·贝松;大卫·卡切拉;托马斯·延森;大卫·皮哈迪 通过抽象解释进行认证的静态分析。 (英语) Zbl 1252.68073号 Aldini,Alessandro(编辑)等人,《安全分析和设计基础V.FOSAD 2007/2008/2009教程讲座》。柏林:施普林格出版社(ISBN 978-3-642-03828-0/pbk)。计算机科学课堂讲稿5705223-257(2009)。MSC公司:68号30 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{F.Besson}等人,Lect。票据计算。科学。5705223--257(2009年;Zbl 1252.68073) 全文: DOI程序 链接
大卫·卡切拉;托马斯·延森;大卫·皮哈迪;杰拉尔多·施奈德 认证内存使用分析。 (英语) Zbl 1120.68385号 Fitzgerald,John(编辑)等人,FM 2005:形式方法。欧洲正式方法国际研讨会,英国纽卡斯尔,2005年7月18日至22日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-27882-6/pbk)。计算机科学课堂讲稿358291-106(2005)。MSC公司:68号30 68吨15 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{D.Cachera}等人,Lect。票据计算。科学。3582,91-106(2005;Zbl 1120.68385) 全文: DOI程序
大卫·卡切拉;简森,托马斯;大卫·皮哈迪;弗拉德鲁苏 在构造逻辑中提取数据流分析器。 (英语) Zbl 1077.68051号 西奥。计算。科学。 342,第1号,56-78(2005).MSC公司:60年第68季度 68问题55 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.Cachera}等人,Theor。计算。科学。342,编号1,56--78(2005;Zbl 1077.68051) 全文: DOI程序 链接
大卫·卡切拉;简森,托马斯;大卫·皮哈迪;弗拉德鲁苏 在构造逻辑中提取数据流分析器。 (英语) Zbl 1126.68345号 David Schmidt(编辑),《编程语言和系统》。2004年3月29日至4月2日在西班牙巴塞罗那举行的第13届欧洲编程研讨会(ESOP 2004),是欧洲软件理论与实践联合会议(ETAPS 2004)的一部分。诉讼程序。柏林:施普林格出版社(ISBN 3-540-21313-9/pbk)。计算机科学课堂讲稿2986385-400(2004)。MSC公司:68号30 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Cachera}等人,Lect。票据计算。科学。2986385--400(2004年;Zbl 1126.68345) 全文: DOI程序
大卫·卡切拉;大卫·皮哈迪 仿射递推方程组的嵌入Coq公司. (英语) Zbl 1279.68286号 Basin,David(编辑)等人,《高阶逻辑中的定理证明》。第16届国际会议,2003年TPHOL,意大利罗马,2003年9月8-12日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40664-6/pbk)。莱克特。票据计算。科学。2758, 155-170 (2003).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.Cachera}和\textit{D.Pichardie},莱克特。票据计算。科学。2758155-170(2003年;Zbl 1279.68286) 全文: DOI程序