Login / Signup
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