Efficient and Exhaustive Floating Point Verification Using Sequential Equivalence Checking Author(s): Travis W. Pouarz and Vaibhav Agrawal Download