Connecting Bits with Floating-Point Numbers: Model Checking and Theorem Proving in Practice.

Carl-Johan H. Seger

Browse the full CADE paper archive.