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.
Admission settings
The course is part of admission "2.01.803 Praktikum Softwareverifikation".
Settings for unsubscribe:
A defined number of seats will be assigned to these courses.
The seats will be assigned in order of enrolment.
