Corrigendum: C floating-point proofs layered with VST and Flocq.

Andrew W. Appel Yves Bertot

Published in: J. Formaliz. Reason. (2020)

Keyphrases

floating point
square root
fixed point
theorem proving
floating point arithmetic
instruction set
fast fourier transform
theorem prover
interval arithmetic
similarity measure
high quality