亚历山大·克努佩尔；托马斯·图姆；卡斯滕·伊曼纽尔·帕迪拉；伊娜·谢弗 理解演绎验证的参数：KeY的实证调查。 （英语） Zbl 1511.68317号 Avigad，Jeremy（编辑）等，交互式定理证明。2018年7月9日至12日在英国牛津举行的2018年第九届国际会议ITP，作为联邦逻辑会议的一部分。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10895, 342-361 (2018).MSC公司：68伏15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Knüppel}等人，Lect。注释计算。科学。10895、342--361（2018年；Zbl 1511.68317） 全文： DOI程序
西尔维·博尔多；弗朗索瓦·克莱门特；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） 全文： DOI程序 arXiv公司
艾亚德·阿尔卡萨；Böhme，萨沙；库尔特·梅尔霍恩；克里斯汀·里兹卡拉 验证验证计算的框架。 （英语） Zbl 1314.68180号 J.汽车。推理 52，第3期，241-273（2014）.MSC公司：60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{E.Alkassar}等人，J.Autom。推理52，No.3，241--273（2014；Zbl 1314.68180） 全文： DOI程序 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） 全文： DOI程序
西尔维·博尔多；克劳德·马奇 数字程序的形式验证：从C注释程序到机械证明。 （英语） Zbl 1264.68054号 数学。计算。科学。 5，第4期，377-393（2011）.MSC公司：68号30 60年第68季度 68甲15 6504年 PDF格式BibTeX公司 XML格式引用 \textit{S.Boldo}和\textit{C.Marché}，数学。计算。科学。5，第4号，377--393（2011；Zbl 1264.68054） 全文： DOI程序 哈尔
卡洛·阿尔贝托·福里亚；迈耶，伯特兰 使用后置条件推断循环不变量。 （英语） Zbl 1287.68108号 安德烈亚斯·布拉斯（编辑）等人，《逻辑和计算领域》。在尤里·古雷维奇70岁生日之际为他撰写的论文。柏林：施普林格出版社（ISBN 978-3-642-15024-1/pbk）。计算机科学讲座笔记6300，277-300（2010）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.A.Furia}和\textit{B.Meyer}，莱克特。注释计算。科学。6300277-300（2010年；兹比尔1287.68108） 全文： DOI程序 arXiv公司
马提亚斯·达姆；德伦巴切，简；沃尔夫，伯克哈特 证明微内核调度器的公平性和实现正确性。 （英语） Zbl 1191.68409号 J.汽车。推理 42，编号2-4，349-388（2009）.MSC公司：60年第68季度 68N25号 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Daum}等人，J.Autom。推理42，No.2--4，349--388（2009；Zbl 1191.68409） 全文： DOI程序
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） 全文： DOI程序