凯兹,盖伊;克拉克·巴雷特;大卫·L·迪尔。;朱利安·凯尔;Mykel J.Kochenderfer。 Reluplex:关于深层神经网络的推理演算。 (英语) Zbl 1522.68328号 形式方法系统。设计。 60,编号1,87-116(2022).MSC公司:60年第68季度 68T07型 PDF格式BibTeX公司 XML格式引用 \textit{G.Katz}等人,《形式方法系统》。设计。60,编号1,87--116(2022;Zbl 1522.68328) 全文: 内政部
罗伯特·琼斯。;Skakkebk,Jens U。;大卫·L·迪尔。 使用增量刷新对无序执行进行正式验证。 (英语) Zbl 1014.68096号 形式方法系统。设计。 20,第2期,139-158(2002).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.B.Jones}等人,《形式方法系统》。设计。20,第2号,139--158(2002;Zbl 1014.68096) 全文: 内政部
乌尔里希·斯特恩;大卫·迪尔 并行化\(\text{Mur}\varphi\)验证器。 (英语) Zbl 1001.68073号 形式方法系统。设计。 18,第2期,117-129(2001).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{U.Stern}和\textit{D.Dill},表格方法系统。设计。18,第2号,117--129(2001;Zbl 1001.68073) 全文: 内政部
大卫·L·迪尔。;史蒂文·诺威克(Steven M.Nowick)。;罗伯特·F·斯普鲁尔。 自定时队列的规范和自动验证。 (英语) Zbl 0875.68628号 形式方法系统。设计。 第1期,第29-60页(1992年).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.L.Dill}等人,《形式方法系统》。设计。1,第1号,29--60(1992;Zbl 0875.68628) 全文: 内政部
Paul N.Loewenstein。;大卫·L·迪尔。 使用模拟关系和高阶逻辑验证多处理器缓存协议。 (英语) Zbl 0875.68135号 形式方法系统。设计。 1,第4期,355-383(1992).MSC公司:68M99型 PDF格式BibTeX公司 XML格式引用 \textit{P.N.Loewenstein}和\textit{D.L.Dill},《形式方法系统》。设计。1,第4号,355--383(1992;Zbl 0875.68135) 全文: 内政部