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

Published in: Formal Aspects Comput. (2022)

Keyphrases