This page in EN
Teilleistung
Entscheidungsverfahren mit Anwendungen in der Softwareverifikation [T-INFO-108955]
Teilleistungsart
Prüfungsleistung mündlichLeistungspunkte
5Turnus
Jedes WintersemesterVersion
1Verantwortung
Einrichtung
- KIT-Fakultät für Informatik
Bestandteil von
Veranstaltungen
Kursnummer | Name | SWS | Typ |
---|---|---|---|
WS21 2400073 | Entscheidungsverfahren mit Anwendungen in der Softwareverifikation | 3 | Vorlesung / Übung (VÜ) |
WS20 2400073 | Entscheidungsverfahren mit Anwendungen in der Softwareverifikation | 3 | Vorlesung / Übung (VÜ) |
WS19 2400073 | Entscheidungsverfahren mit Anwendungen in der Softwareverifikation | 3 | Vorlesung / Übung (VÜ) |
Prüfungen
Kursnummer | Name | Termine |
---|---|---|
WS20 7500212 | Entscheidungsverfahren mit Anwendungen in der Softwareverifikation | 25.02.2022 - 10:00 08.04.2022 - 10:00 |
WS20 7500212 | Entscheidungsverfahren mit Anwendungen in der Softwareverifikation | 02.03.2020 - 10:00 27.03.2020 - 10:00 |
WS20 7500212 | Entscheidungsverfahren mit Anwendungen in der Softwareverifikation |
Erfolgskontrolle(n)
Die Erfolgskontrolle erfolgt in Form einer mündlichen Prüfung im Umfang von i.d.R. 30 Minuten nach § 4 Abs. 2 Nr. 2 der SPO.
Voraussetzungen
Keine.
Empfehlungen
Der erfolgreiche Abschluss des Moduls Formale Systeme [M-INFO-100799] wird empfohlen.