Analyse von Gegenbeispielen bei Verifikation mit unvollständigen Eigenschaftssätzen.