Materialien für die Übung zur Vorlesung "Computergestützte Verifikation" - View it on GitHub