塞缪尔·科沃德;劳伦斯·鲍尔森;西奥·德雷恩;埃米利亚诺·莫里尼 使用自动定理证明器对先验固定和浮点算法进行形式化验证。 (英文) Zbl 1522.68306号 正式Asp。计算。 34,第2条,第9条,22页(2022年).MSC公司:60年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{S.Coward}等人,正式Asp。计算。34,第2号,第9条,第22页(2022;兹bl 1522.68306) 全文: DOI程序
Aleksandar Zeljić;彼得·贝克曼;Christoph M.温特斯泰格。;菲利普·吕默 使用UppSAT探索浮点算法的近似。 (英文) Zbl 1511.68172号 Galmiche,Didier(编辑)等人,《自动推理》。2018年7月14日至17日在英国牛津举行的第九届国际联合会议IJCAR 2018,作为联邦逻辑会议的一部分。诉讼程序。查姆:斯普林格。莱克特。票据计算。科学。10900, 246-262 (2018).MSC公司:60年第68季度 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.Zeljić}等人,Lect。票据计算。科学。10900,246--262(2018;Zbl 1511.68172) 全文: DOI程序 arXiv公司
Aleksandar Zeljić;克里斯托弗·温特斯泰格。;菲利普·吕默 求解器和决策过程的近似框架。 (英文) Zbl 1409.68265号 J.汽车。推理 58,第1期,127-147(2017).MSC公司:68吨15 PDF格式BibTeX公司 XML格式引用 \textit{A.Zeljić}等人,J.Autom。推理58,No.1,127--147(2017;Zbl 1409.68265) 全文: DOI程序 链接