Event
The dates and events shown here are dynamically displayed from Stud.IP.
Therefore, if you have any questions, please contact the person listed under the item Lehrende/DozentIn (Lecturers) directly.
Event
Semester:
Winter term
2021
2.01.803-A Praktikum Softwareverifikation -
Event date(s) | room
- 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
Description
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.
Lecturers
SWS
2
Art der Lehre
Ausschließlich Präsenz