Physics Department, TUM | Course 0000000040 in SS 2023

General Data

Course Type

practical training

Semester Weekly Hours

6 SWS

Organisational Unit

Informatics 7 - Chair of Theoretical Computer Science (Prof. Esparza)

Lecturers

- Azeem Muqsit
Alexandros Evangelidis
Stefanie Mohr
Maximilian Weininger
Responsible/Coordination: Jan Kretinsky

Dates

5 singular or moved dates

iCalendar

	Date and Time	Room and Remark
!	Mon, 2023-02-06, 16:00–16:30	Boltzmannstr. 3 Speaker: Prof. Dr. Jan Kretinsky Online: <a href="https://bbb.in.tum.de/ste-zjv-leb-isb" rel="nofollow">https://bbb.in.tum.de/ste-zjv-leb-isb</a>
!	Fri, 2023-04-21, 14:00–18:00	Boltzmannstr. 3 Speaker: Prof. Dr. Jan Kretinsky
!	Mon, 2023-04-24, 15:30–19:30	Boltzmannstr. 3 Speaker: Prof. Dr. Jan Kretinsky
!	Fri, 2023-06-16, 12:00–14:00	Boltzmannstr. 3
!	Mon, 2023-08-07, 10:00–14:00	Boltzmannstr. 3 Speakers: Stefanie Mohr M.Sc., - Azeem Muqsit M.Sc.

Assignment to Modules

IN2106: Master-Praktikum / Advanced Practical Course
This module is included in the following catalogs:
- Further Modules from Other Disciplines

Further Information

Courses are together with exams the building blocks for modules. Please keep in mind that information on the contents, learning outcomes and, especially examination conditions are given on the module level only – see section "Assignment to Modules" above.

additional remarks	Model checking is a technique used for automatically verifying whether hardware or software systems meet a given specification. It has made enormous progress, and new approaches appear year by year. However, some of the recent ones are so far only theoretical and lack practical evidence of their performance. In this course, we want to offer the opportunity to get to know novel approaches in model checking, understand the theory behind them, and then turn them into tools that can be continued to use. The practical course will start with a few lectures that will lay the base knowledge for the remaining part. Then we will form small groups and assign each of them with a theoretical approach from the field of Model Checking. This shall then be turned into a tool that can be used to reproduce and strengthen the statements of the approach.
Links	Course documents TUMonline entry

additional remarks

Model checking is a technique used for automatically verifying whether hardware or software systems meet a given specification. It has made enormous progress, and new approaches appear year by year. However, some of the recent ones are so far only theoretical and lack practical evidence of their performance. In this course, we want to offer the opportunity to get to know novel approaches in model checking, understand the theory behind them, and then turn them into tools that can be continued to use. The practical course will start with a few lectures that will lay the base knowledge for the remaining part. Then we will form small groups and assign each of them with a theoretical approach from the field of Model Checking. This shall then be turned into a tool that can be used to reproduce and strengthen the statements of the approach.

Links

Course documents
TUMonline entry

Equivalent Courses (e. g. in other semesters)

Semester	Title	Lecturers	Dates
SS 2022	Practical Course - Recent Advances in Model Checking (IN0012, IN2106, IN4318)	Eisentraut, J. Evangelidis, A. Mohr, S. Weininger, M. Responsible/Coordination: Kretinsky, J.	Tue, 10:15–12:00, MI 03.11.034 and singular or moved dates

Practical Course - Recent Advances in Model Checking (IN0012, IN2106, IN4318)

Course 0000000040 in SS 2023

General Data

Assignment to Modules

Further Information

Equivalent Courses (e. g. in other semesters)