Algorithmen zur Berechnung oberer und unterer Schranken für den Optimalwert, sowie Einschließungen ε-Optimallösungen in der semidefiniten Programmierung sind präsentiert. Die vorgeschlagenen Verifikationsverfahren wurden erfolgreich auf RDM Elektronenstrukturproblem angewendet um eine untere Grenze für die Grundzustandsenergie eines N-Elektron Systems zu ermitteln.