Materialien für die Übung zur Vorlesung "Computergestützte Verifikation"