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
2.01.803 Softwareverifikation (V) -
Veranstaltungstermin | Raum
- 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
Veranstaltungsort
- A02 3-334
Beschreibung
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.
Lehrende
SWS
4