Title: Verifizierte globale Optimierung auf Parallelrechnern