Stud.IP Uni Oldenburg
University of Oldenburg
07.12.2023 07:07:37
Lecture: 2.01.803-B Praktikum Softwareverifikation - Details
You are not logged into Stud.IP.

General information

Course name Lecture: 2.01.803-B Praktikum Softwareverifikation
Subtitle inf803
Course number 2.01.803-B
Semester WiSe22/23
Current number of participants 3
expected number of participants 12
Home institute Department of Computing Science
Courses type Lecture in category Teaching
First date Tuesday, 18.10.2022 16:15 - 17:45, Room: (A02 3-334)
Type/Form V+Ü
Lehrsprache deutsch

Rooms and times

(A02 3-334)
Tuesday: 16:15 - 17:45, weekly (14x)
Wednesday: 10:15 - 11:45, weekly (14x)
Thursday: 14:15 - 15:45, weekly (14x)

Module assignments


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:
  • Admission locked.