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.
Anmelderegeln
Diese Veranstaltung gehört zum Anmeldeset "Master SE".
Folgende Regeln gelten für die Anmeldung:
Folgende Bedingung muss zur Anmeldung erfüllt sein: