Formal Verification of Transcendental Fixed- and Floating-point Algorithms using an Automatic Theorem Prover

DOI10.1145/3543670zbMath1522.68306OpenAlexW4282832561WikidataQ113769892 ScholiaQ113769892MaRDI QIDQ6136749

Theo A. Drane, Lawrence Charles Paulson, Unnamed Author, Unnamed Author

Publication date: 31 August 2023

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3543670

zbMATH Keywords

transcendental functionstheorem proverfloating-point algorithms

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: Formal Verification of Transcendental Fixed- and Floating-point Algorithms using an Automatic Theorem Prover