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