Title: Automatische Ergebnisverifikation bei globalen Optimierungsproblemen