大卫·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许可证