| Module | Title | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|---|
| Formal Methods for Logic Control Software | Formale Methoden für Steuerungssoftware (WS) | Fach-/Modulprüfung | 6 | 401825 | ||
| Formale Methoden für Steuerungssoftware (Übung) | Fach-/Modulprüfung | 403745 | ||||
| Formale Methoden für Steuerungssoftware | Vorlesung/Übung | 397622 | Di 14:30-16:00 Online-Veranstaltung (×5) Fr 10:30-12:00 Online-Veranstaltung (×14) | |||
| Model Checking | Model Checking | Fach-/Modulprüfung | 6 | 404964 | ||
| Introduction to Model Checking | Übung | 397945 | Do 10:30-12:00 Online-Veranstaltung (×13) | |||
| Introduction to Model Checking | Vorlesung | 399346 | Mo 16:30-18:00 Online-Veranstaltung (×13) Do 14:30-16:00 Online-Veranstaltung (×13) | |||
| Satisfiability Checking | Erfüllbarkeitsüberprüfung (Satisfiability Checking) | Fach-/Modulprüfung | 6 | 402890 | ||
| Erfüllbarkeitsüberprüfung | Vorlesung/Übung | 399309 | Mo 08:30-10:00 Online-Veranstaltung (×14) Di 08:30-10:00 Online-Veranstaltung (×14) |