Verification of the functional behavior of a floating-point program: An industrial case study

Article history: Received 18 March 2013 Received in revised form 12 March 2014 Accepted 7 April 2014 Available online xxxx