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
2.01.803 Softwareverifikation (V) -
Event date(s) | room
- Dienstag, 17.10.2023 10:00 - 12:00 | A03 2-209
- Dienstag, 24.10.2023 10:00 - 12:00 | A03 2-209
- Dienstag, 7.11.2023 10:00 - 12:00 | A02 3-334
- Dienstag, 14.11.2023 10:00 - 12:00 | A02 3-334
- Dienstag, 21.11.2023 10:00 - 12:00 | A02 3-334
- Dienstag, 28.11.2023 10:00 - 12:00 | A02 3-334
- Dienstag, 5.12.2023 10:00 - 12:00 | A02 3-334
- Dienstag, 12.12.2023 10:00 - 12:00 | A02 3-334
- Dienstag, 19.12.2023 10:00 - 12:00 | A02 3-334
- Dienstag, 9.1.2024 10:00 - 12:00 | A02 3-334
- Dienstag, 16.1.2024 10:00 - 12:00 | A02 3-334
- Dienstag, 23.1.2024 10:00 - 12:00 | A02 3-334
- Dienstag, 30.1.2024 10:00 - 12:00 | A02 3-334
Location
- A02 3-334
Description
Das Praktikum Softwareverifikation besteht aus einem Vorlesungsteils, in dem eine theoretische Einführung in die Softwareverifikation gegeben wird, sowie einem Projektteil, in dem die Teilnehmenden in Teams Komponenten eines Verifikationsframeworks (in Java) implementieren. Die Einteilung in Vorlesungs- und Projektteil wird flexibel gehandhabt.
Lecturers
SWS
4