Stud.IP Uni Oldenburg
University of Oldenburg
24.10.2021 23:18:43
Exercises: 2.01.803-B Praktikum Softwareverifikation - Details
You are not logged into Stud.IP.

General information

Course name Exercises: 2.01.803-B Praktikum Softwareverifikation
Subtitle inf803
Course number 2.01.803-B
Semester Wintersemester 2021/2022
Current number of participants 6
maximum number of participants 12
Home institute Department of Computing Science
Courses type Exercises in category Teaching
Next date Fri., 29.10.2021 10:15 - 11:45, Room: A03 4-404
Type/Form Ü
Lehrsprache --

Course location / Course dates

A03 4-404 Fri.. 10:15 - 11:45 (13x)

Module assignments

Comment/Description

Das Praktikum Softwareverifikation besteht aus einem Vorlesungsteils, in dem eine Einführung in die Softwareverifikation und eventuell eine kurze Einführung in Python 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 "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.