1. Ich rechne damit, daß es Probleme bei der Verifikation seitens der neutralen und blockfreien Staaten geben wird. ( Quelle: TAZ 1989）
2. Ziel des Forschungsprojekts ist die Berechnung optimaler Steuerungen für einen typischen Industrieroboter, deren Verifikation am realen Roboter und ein Vergleich mit konventionellen Industriesteuerungen. ( Quelle: bmb+f Forschungslandkarte Deutschland 1998）
3. Bearbeitet werden Verfahren für den Entwurf verteilter und parallel arbei-tender Strukturen sowie für die automatische Entwurfsverbesserung, die Verifikation und den Test entworfener Strukturen. ( Quelle: Jahresbericht DFG 1995）