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.
Admission settings
The course is part of admission "Anmeldung gesperrt (global)".
Erzeugt durch den Stud.IP-Support The following rules apply for the admission:
