Stud.IP Uni Oldenburg
University of Oldenburg
04.12.2022 09:06:11
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 WiSe21/22
Current number of participants 5
expected 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
First date Mon., 25.10.2021 16:00 - 17:00, Room: (online)
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 "Anmeldung gesperrt (global)".
Erzeugt durch den Stud.IP-Support
The following rules apply for the admission:
  • The admission is locked.