Formal Verification of Floating-Point Division.

Ashish Kapoor Warren E. Ferguson Himanshu Jain Sudipta Kundu

Published in: ARITH (2023)

Keyphrases

floating point
formal verification
model checking
automated verification
fixed point
bounded model checking
square root
model checker
instruction set
symbolic model checking
program slicing
interval arithmetic
sparse matrices
general purpose
data structure
fast fourier transform
temporal logic
fourier transform