An Automatable Formal Semantics for IEEE-754 Floating-Point Arithmetic.

Martin Brain, Cesare Tinelli, Philipp Rmmer, Thomas Wahl

Browse the full ARITH paper archive.