Modell-Verifizierung und -Validierung