Lecture: 2.01.455 Model Checking - Details

General information

Course name	Lecture: 2.01.455 Model Checking
Subtitle	inf455
Course number	2.01.455
Semester	WiSe25/26
Current number of participants	16
expected number of participants	30
Home institute	Department of Computing Science
Courses type	Lecture in category Teaching
First date	Wednesday, 15.10.25, 08:00 - 10:00 o'clock A05 1-160
Type/Form	V+Ü
Lehrsprache	deutsch und englisch

Lecturers

Rooms and times

A05 1-160

Wednesday, 08:00 - 10:00, Weekly (from 15.10.25)

A01 0-005

Thursday, 12:00 - 14:00, Weekly (from 16.10.25)

A02 3-340

Wednesday, 11.02.26, 09:00 - 12:00 o'clock
Thursday, 12.02.26, 09:00 - 12:00 o'clock
Friday, 13.02.26, 13:00 - 16:00 o'clock

Module assignments

Campusmanagementsystem Stud.IP
- Computing Science - Master's Programme
  - Theoretische Informatik
    - inf455 - Model Checking
      - Übung
      - Vorlesung
- Computer Science - Master's Programme
  - Wahlbereich Theoretische Informatik
    - inf455 - Model Checking
      - Übung
      - Vorlesung
  - Further modules
    - inf455 - Model Checking
      - Übung
      - Vorlesung

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.