Formal Verification of Floating-Point Division.

Ashish Kapoor, Warren E. Ferguson, Himanshu Jain, Sudipta Kundu

Browse the full ARITH paper archive.