Model Checking
Wintersemester
Veranstaltungsnummern: 43MBE1023V (Vorlesung) und 43MBE1024V (Übung)
Prüfung: schriftlich
Inhalte
- Temporal Model-Checking
- Deductive Program Verification
Ablauf
Um teilzunehmen, melden Sie sich unter Unisono und Moodle zum Kurs an.
Vorlesungs- und Übungsmaterialien sowie Ankündigungen werden im Moodle-Kurs veröffentlicht.