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

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

Published in: CoRR (2020)

Keyphrases

floating point
fixed point
square root
instruction set
source code
floating point arithmetic
interval arithmetic
sparse matrices
three dimensional
database systems
general purpose
image processing
memory efficient