Deciding floating-point logic with systematic abstraction.

Leopold Haller Alberto Griggio Martin Brain Daniel Kroening

Published in: FMCAD (2012)

Keyphrases

floating point
fixed point
square root
high level
modal logic
instruction set
logic programming
interval arithmetic
floating point arithmetic
fast fourier transform