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 2022

2.01.803-B Praktikum Softwareverifikation -  


Veranstaltungstermin | Raum

  • Dienstag, 18.10.2022 16:15 - 17:45 | A02 3-334
  • Mittwoch, 19.10.2022 10:15 - 11:45 | A02 3-334
  • Donnerstag, 20.10.2022 14:15 - 15:45 | A02 3-334
  • Dienstag, 25.10.2022 16:15 - 17:45 | A02 3-334
  • Mittwoch, 26.10.2022 10:15 - 11:45 | A02 3-334
  • Donnerstag, 27.10.2022 14:15 - 15:45 | A02 3-334
  • Dienstag, 1.11.2022 16:15 - 17:45 | A02 3-334
  • Mittwoch, 2.11.2022 10:15 - 11:45 | A02 3-334
  • Donnerstag, 3.11.2022 14:15 - 15:45 | A02 3-334
  • Dienstag, 8.11.2022 16:15 - 17:45 | A02 3-334
  • Mittwoch, 9.11.2022 10:15 - 11:45 | A02 3-334
  • Donnerstag, 10.11.2022 14:15 - 15:45 | A02 3-334
  • Dienstag, 15.11.2022 16:15 - 17:45 | A02 3-334
  • Mittwoch, 16.11.2022 10:15 - 11:45 | A02 3-334
  • Donnerstag, 17.11.2022 14:15 - 15:45 | A02 3-334
  • Dienstag, 22.11.2022 16:15 - 17:45 | A02 3-334
  • Mittwoch, 23.11.2022 10:15 - 11:45 | A02 3-334
  • Donnerstag, 24.11.2022 14:15 - 15:45 | A02 3-334
  • Dienstag, 29.11.2022 16:15 - 17:45 | A02 3-334
  • Mittwoch, 30.11.2022 10:15 - 11:45 | A02 3-334
  • Donnerstag, 1.12.2022 14:15 - 15:45 | A02 3-334
  • Dienstag, 6.12.2022 16:15 - 17:45 | A02 3-334
  • Mittwoch, 7.12.2022 10:15 - 11:45 | A02 3-334
  • Donnerstag, 8.12.2022 14:15 - 15:45 | A02 3-334
  • Dienstag, 13.12.2022 16:15 - 17:45 | A02 3-334
  • Mittwoch, 14.12.2022 10:15 - 11:45 | A02 3-334
  • Donnerstag, 15.12.2022 14:15 - 15:45 | A02 3-334
  • Dienstag, 20.12.2022 16:15 - 17:45 | A02 3-334
  • Mittwoch, 21.12.2022 10:15 - 11:45 | A02 3-334
  • Donnerstag, 22.12.2022 14:15 - 15:45 | A02 3-334
  • Dienstag, 10.1.2023 16:15 - 17:45 | A02 3-334
  • Mittwoch, 11.1.2023 10:15 - 11:45 | A02 3-334
  • Donnerstag, 12.1.2023 14:15 - 15:45 | A02 3-334
  • Dienstag, 17.1.2023 16:15 - 17:45 | A02 3-334
  • Mittwoch, 18.1.2023 10:15 - 11:45 | A02 3-334
  • Donnerstag, 19.1.2023 14:15 - 15:45 | A02 3-334
  • Dienstag, 24.1.2023 16:15 - 17:45 | A02 3-334
  • Mittwoch, 25.1.2023 10:15 - 11:45 | A02 3-334
  • Donnerstag, 26.1.2023 14:15 - 15:45 | A02 3-334
  • Dienstag, 31.1.2023 16:15 - 17:45 | A02 3-334
  • Mittwoch, 1.2.2023 10:15 - 11:45 | A02 3-334
  • Donnerstag, 2.2.2023 14:15 - 15:45 | A02 3-334

Beschreibung

Das Praktikum Softwareverifikation besteht aus einem Vorlesungsteils, in dem eine Einführung in die Softwareverifikation 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

(Stand: 19.01.2024)  | 
Zum Seitananfang scrollen Scroll to the top of the page