西蒙·福斯特;雅库布·内穆奇;马里奥·格雷舍尔;魏然;蒂姆·凯利 与Isabelle/SACM将正式证据整合到统一的保证案例中。 (英语) 兹比尔1522.68717 正式Asp。计算。 33,第6号,855-884(2021).MSC公司:68伏15 68V20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Foster}等人,正式Asp。计算。33,编号6,855--884(2021;Zbl 1522.68717) 全文: 内政部 arXiv公司
西尔维·博尔多;弗朗索瓦Clément;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公司