Principal #Verifizierte Models Analisiert