Verifiziertes Modell