In der Vorlesung werden Grundlagen für die Entwicklung beweisbar korrekter Software mit Hilfe des Theorembeweisers KIV vorgestellt. Die Übungen wenden diese Grundlagen auf eine Vielzahl von Spezifikations- und Verifikationsaufgaben an.
Admission settings
The course is part of admission "Master SE".
The following rules apply for the admission:
The following conditions must be met for enrolment:
