Main #Verifizierte Models Analisiert