An Efficient Floating-Point Bit-Blasting API for Verifying C Programs.

Mikhail R. Gadelha Lucas C. Cordeiro Denis A. Nicole

Published in: VSTTE (2020)

Keyphrases

floating point
fixed point
square root
sparse matrices
instruction set
floating point arithmetic
data processing
interval arithmetic
search space
low cost
provably correct