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

Gabriele Paganelli, Wolfgang Ahrendt

Browse the full SYNASC paper archive.