Title: Generierung von Gegenbeispielen und Zeugen bei der Modellprüfung