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


Event date(s) | room

  • 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

Description

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.

Lecturers

SWS
4

Art der Lehre
Ausschließlich Präsenz

(Changed: 19 Jan 2024)  | 
Zum Seitananfang scrollen Scroll to the top of the page