Principale #Verifizierte Models Analisiert