Stud.IP Uni Oldenburg
University of Oldenburg
18.08.2022 10:40:32
Lecture: 2.01.803 Praktikum Softwareverifikation - Details
You are not logged into Stud.IP.

General information

Course name Lecture: 2.01.803 Praktikum Softwareverifikation
Subtitle inf803
Course number 2.01.803
Semester Wintersemester 2021/2022
Current number of participants 10
expected number of participants 12
Home institute Department of Computing Science
Courses type Lecture in category Teaching
First date Wed., 20.10.2021 12:15 - 13:45, Room: A05 1-159
Type/Form VL+Ü
Lehrsprache deutsch

Course location / Course dates

A05 1-159 Wed.. 12:15 - 13:45 (14x)

Module assignments

Comment/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.

Admission settings

The course is part of admission "Anmeldung gesperrt (global)".
Erzeugt durch den Stud.IP-Support
Settings for unsubscribe:
  • Admission locked.