Verifying (In-)Stability in Floating-Point Programs by Increasing Precision, Using SMT Solving
A machine program for theorem-proving