CMS-Forschungsprojekt „Model Checking“

Lehrveranstaltung mit SWS 0/0/12 (Vorlesung/Übung/Praktikum) im WS 2026

Dozent

Sascha Klüppelholz

Umfang (SWS)

0/0/12

Sprache

auf Englisch

Module

CMS-PRO

Information

Die Lehrveranstaltung wird auf Englisch gehalten. Daher ist die folgende Beschreibung ebenfalls auf Englisch.

This course offers advanced topics in the field of verification and model checking. It is meant for students enrolled in the Master's program “Computational Modeling and Simulation”. The tasks are usually taken from our current projects and cover programming as well as theoretical problems.

Anmeldung

Für die Teilnahme ist eine Registrierung via Opal bis zum 19. Oktober erforderlich.

Voraussetzungen

Profound knowledge in model checking, acquired in the lecture “Model Checking” or similar courses at other universities
Solid foundations in algorithms and data structures, in automata theory and formal languages as well as in complexity theory
Basic mathematical foundations
Programming skills in Java or C/C++ are beneficial, unless you are interested in a purely theoretical topic

Termine

Alle fristgerecht in Opal registrierten Teilnehmer:innen werden per E-Mail über die Einführungsveranstaltung informiert.

Prüfungsleistung

Master Computational Modeling and Simulation

CMS-PRO: Projektarbeit und 30-minütiges Referat

Kontakt

Bei organisatorischen Fragen wenden Sie sich bitte an Sascha Klüppelholz.