Bit-Exact Automated Reasoning About Floating-Point Arithmetic Martin Brain University of Oxford February 2, 2015 - Decimal floating point - Document - PDFSEARCH.IO

First Page	Meta Content
	Bit-Exact Automated Reasoning About Floating-Point Arithmetic Martin Brain University of Oxford February 2, 2015 Add to Reading List Document Date: 2015-02-05 02:12:12 Open Document File Size: 245,60 KB Share Result on Facebook Company CVC4 / / Facility University of Bath / Bit-Exact Automated Reasoning About Floating-Point Arithmetic Martin Brain University of Oxford February / University of Oxford Member / / Organization University of Bath / Bit-Exact Automated Reasoning About Floating-Point Arithmetic Martin Brain University of Oxford / University of Oxford Member of Daniel Kroening / / Person Riposte / Daniel Kroening / / Position Logic Programming Co-author of Riposte / counter-example generator Post-doc researcher / / SocialTag Numbers Floating point Computer science IEEE 754-2008 Decimal floating point Double-precision floating-point format Computer arithmetic Data types Computing

Bit-Exact Automated Reasoning About Floating-Point Arithmetic Martin Brain University of Oxford February 2, 2015Add to Reading List