Making Proofs of Floating-Point Programs Accessible to Regular Developers.

Claire Dross Johannes Kanig

Published in: VSTTE (2021)

Keyphrases

floating point
fixed point
square root
computer programs
instruction set
sparse matrices
open source
floating point arithmetic
interval arithmetic
end users
software development
theorem proving
fast fourier transform
technical skills