Gabriele Paganelli, Wolfgang Ahrendt. Verifying (In-)Stability in Floating-Point Programs by Increasing Precision, Using SMT Solving. In 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2013, Timisoara, Romania, September 23-26, 2013. pages 209-216, IEEE, 2013. [doi]
Abstract is missing.