Verifying (In-)Stability in Floating-Point Programs by Increasing Precision, Using SMT Solving
Frama-C: A software analysis perspective