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 Praktikum Softwareverifikation -  


Veranstaltungstermin | Raum

  • Mittwoch, 20.10.2021 12:15 - 13:45 | A05 1-159
  • Mittwoch, 27.10.2021 12:15 - 13:45 | A05 1-159
  • Mittwoch, 3.11.2021 12:15 - 13:45 | A05 1-159
  • Mittwoch, 10.11.2021 12:15 - 13:45 | A05 1-159
  • Mittwoch, 17.11.2021 12:15 - 13:45 | A05 1-159
  • Mittwoch, 24.11.2021 12:15 - 13:45 | A05 1-159
  • Mittwoch, 1.12.2021 12:15 - 13:45 | A05 1-159
  • Mittwoch, 8.12.2021 12:15 - 13:45 | A05 1-159
  • Mittwoch, 15.12.2021 12:15 - 13:45 | A05 1-159
  • Mittwoch, 22.12.2021 12:15 - 13:45 | A05 1-159
  • Mittwoch, 12.1.2022 12:15 - 13:45 | A05 1-159
  • Mittwoch, 19.1.2022 12:15 - 13:45 | A05 1-159
  • Mittwoch, 26.1.2022 12:15 - 13:45 | A05 1-159
  • Mittwoch, 2.2.2022 12:15 - 13:45 | A05 1-159

Beschreibung

Das Praktikum Softwareverifikation besteht aus einem Vorlesungsteils, in dem eine Einführung in die Softwareverifikation gegeben wird und beispielhaft Analysen beschrieben werden, sowie einem Projektteil, in dem die Teilnehmenden in Teams eine Softwareanalyse selber implementieren und evaluieren. Die Einteilung in Vorlesungs- und Projektteil wird flexibel gehandhabt.
Die Implementierungssprache ist Java.

Lehrende

SWS
4

Art der Lehre
Ausschließlich Präsenz

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