Auto-active Verification of Floating-point Programs via Nonlinear Real Provers.

Junaid Rasheed Michal Konecný

Published in: CoRR (2022)

Keyphrases

floating point
fixed point
square root
instruction set
fast fourier transform
theorem prover
symbolic execution
floating point arithmetic
sparse matrices
post processing
model checking
file system