Verifying (In-)Stability in Floating-Point Programs by Increasing Precision, Using SMT Solving - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Gabriele Paganelli' in GoogleThis author has not been identified. Look up 'Wolfgang Ahrendt' in Google

runs on WebDSL