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.

Zugeordnete Personen

• Prof. Dr. rer. nat. Malte Lochau