亚历山大·克努佩尔;托马斯·图姆;卡斯滕·伊曼纽尔·帕迪拉;伊娜·谢弗 理解演绎验证的参数:KeY的实证调查。 (英语) Zbl 1511.68317号 Avigad,Jeremy(编辑)等,交互式定理证明。2018年7月9日至12日在英国牛津举行的2018年第九届国际会议ITP,作为联邦逻辑会议的一部分。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10895342-361(2018)。MSC公司:68伏15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Knüppel}等人,Lect。注释计算。科学。10895、342--361(2018年;Zbl 1511.68317) 全文: 内政部
西尔维·博尔多;弗朗索瓦·克莱门特;Jean-Christophe Filliátre;米凯拉·梅耶罗;纪尧姆·梅尔金德;皮埃尔·韦斯 可信计算:从偏微分方程到实际程序的机械化证明。 (英语) Zbl 1369.35051号 计算。数学。申请。 68,第3期,325-352(2014).MSC公司:35问题35 6500万06 60年第68季度 65G20个 第68页第15页 65个M12 PDF格式BibTeX公司 XML格式引用 \textit{S.Boldo}等人,计算。数学。申请。68,第3号,325--352(2014;Zbl 1369.35051) 全文: 内政部 arXiv公司
卢卡·普利纳;阿曼多·塔切拉 挑战SMT求解器验证神经网络。 (英语) Zbl 1248.68462号 AI通讯。 25,第2期,117-135(2012).MSC公司:68T20型 68T05型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Pulina}和\textit{A.Taccella},AI Commun。25,第2号,117--135(2012;Zbl 1248.68462) 全文: 内政部
Andronick,六月;布埃纳·切塔利;克里斯汀·保林·莫林 智能卡嵌入源代码的安全属性的正式验证。 (英语) Zbl 1120.68384号 Fitzgerald,John(编辑)等人,FM 2005:形式方法。欧洲正式方法国际研讨会,英国纽卡斯尔,2005年7月18日至22日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-27882-6/pbk)。计算机科学课堂讲稿3582302-317(2005)。MSC公司:68号30 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{J.Andronick}等人,Lect。注释计算。科学。3582、302-317(2005年;Zbl 1120.68384) 全文: 内政部