Automatische Ergebnisverifikation bei globalen Optimierungsproblemen