Stud.IP Uni Oldenburg
University of Oldenburg
27.11.2021 09:48:42
Seminar: 2.01.490 Seminar Invariantengenerierung - Details
You are not logged into Stud.IP.

General information

Course name Seminar: 2.01.490 Seminar Invariantengenerierung
Subtitle
Course number 2.01.490
Semester Wintersemester 2021/2022
Current number of participants 6
maximum number of participants 13
Home institute Department of Computing Science
Courses type Seminar in category Teaching
Preliminary discussion Mon., 25.10.2021 16:00 - 17:00
Next date Wed., 08.12.2021 16:00 - 18:00, Room: (A02 3 334)
Type/Form
Lehrsprache --

Course location / Course dates

(online) Monday. 25.10.21 16:00 - 17:00
(A02 3 334) Wednesday. 08.12.21 16:00 - 18:00

Comment/Description

In diesem Seminar für Masterstudierende werden wir uns mit dem Thema der Invariantengenerierung in der Programmverifikation beschäftigen. Invarianten beschreiben Programmeigenschaften (Aussagen über die Werte von Programmvariablen), die immer gelten (also invariant sind). "Immer" kann sich hierbei auf das gesamte Programm oder auf eine Schleife in einem Programm beziehen. Die Techniken, die wir kennenlernen, nutzen logisches Schließen, Induktion oder auch Techniken des maschinellen Lernens.

Admission settings

The course is part of admission "Beschränkte Teilnehmendenanzahl: Seminar Invariantengenerierung".
Settings for unsubscribe:
  • A defined number of seats will be assigned to these courses.
    The seats will be assigned in order of enrolment.