Eine nicht-lokale Methode zur Robustheitsanalyse von Gleitkommaprogrammen