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.

Ablauf in jeder Vorlesungswoche

• Eine Vorlesung in Präsenz. Dazugehörige Vorlesungsfolien in Moodle.
• Ein Übungsblatt und Übungstermin in Präsenz:
  • Ab der zweiten Vorlesungswoche.
  • Am Übungstermin wird das aktuelle Übungsblatt gemeinsam bearbeitet.
  • Es gibt keine Abgabepflicht/Prüfungsvorleistung, aber die Teilnahme wird dringend empfohlen zur Vorbereitung auf die Prüfung!

Zugeordnete Personen

• Prof. Dr. rer. nat. Malte Lochau