Alexander Kick

• Generierung von Gegenbeispielen und Zeugen bei der Modellprüfung