Veranstaltung
Die hier angezeigten Termine und Veranstaltungen werden dynamisch aus Stud.IP heraus angezeigt.
Daher kontaktieren Sie bei Fragen bitte direkt die Person, die unter dem Punkt Lehrende/Dozierende steht.
Veranstaltung
Semester:
Wintersemester
2021
2.01.803-A Praktikum Softwareverifikation -
Veranstaltungstermin | Raum
- Montag, 25.10.2021 16:15 - 17:45 | A05 1-159
- Montag, 1.11.2021 16:15 - 17:45 | A05 1-159
- Montag, 8.11.2021 16:15 - 17:45 | A05 1-159
- Montag, 29.11.2021 16:15 - 17:45 | A05 1-159
- Montag, 6.12.2021 16:15 - 17:45 | A05 1-159
- Montag, 13.12.2021 16:15 - 17:45 | A05 1-159
- Montag, 20.12.2021 16:15 - 17:45 | A05 1-159
- Montag, 10.1.2022 16:15 - 17:45 | A05 1-159
- Montag, 17.1.2022 16:15 - 17:45 | A05 1-159
- Montag, 24.1.2022 16:15 - 17:45 | A05 1-159
- Montag, 31.1.2022 16:15 - 17:45 | A05 1-159
Beschreibung
Das Praktikum Softwareverifikation besteht aus einem Vorlesungsteils, in dem eine Einführung in die Softwareverifikation und eventuell eine kurze Einführung in Python gegeben wird, sowie einem Projektteil, in dem die Teilnehmenden in Teams Komponenten eines Verifikationsframeworks implementieren. Die Einteilung in Vorlesungs- und Projektteil wird flexibel gehandhabt.
Lehrende
SWS
2
Art der Lehre
Ausschließlich Präsenz