大卫·J·皮尔斯。;马克·乌廷;林赛·格罗夫斯 使用Boogie验证Whiley程序。 (英语) Zbl 1512.68059号 J.自动化。推理 66,第4期,747-803(2022).MSC公司:68号30 60年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{D.J.Pearce}等人,J.Autom。推理66,No.4,747--803(2022;Zbl 1512.68059) 全文: 内政部 OA许可证
马尔科·艾尔斯;Severin Meier;彼得·米勒 野外产品程序:改造程序验证器以检查信息流的安全性。 (英语) Zbl 1493.68106号 Silva,Alexandra(编辑)等人,《计算机辅助验证》。第33届国际会议,CAV 2021,虚拟活动,2021年7月20日至23日。诉讼程序。第一部分查姆:施普林格。莱克特。注释计算。科学。12759,718-741(2021)。MSC公司:68号30 68甲19 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Eilers}等人,Lect。注释计算。科学。12759718--741(2021年;Zbl 1493.68106) 全文: 内政部 OA许可证
亚历山大·克努佩尔;托马斯·图姆;卡斯滕·伊曼纽尔·帕迪拉;伊娜·谢弗 理解演绎验证的参数: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) 全文: 内政部
玛丽亚·乔昂·弗雷德;豪尔赫·索萨·品托 源级命令程序的验证条件。 (英语) Zbl 1298.68171号 计算。科学。版次。 5,第3期,252-277(2011).MSC公司:60年第68季度 03B70号 68号30 68-02 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Frade}和\textit{J.S.Pinto},计算。科学。第5版,第3525-277号(2011年;兹bl 1298.68171) 全文: 内政部 链接