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 examines 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 research tasks assigned to individual students 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

Umfassende Kenntnisse in Model Checking, vorzugsweise aus der Vorlesung Model Checking oder aus vergleichbaren Lehrveranstaltungen anderer Universitäten
Solide Grundlagen in Algorithmen und Datenstrukturen, Automatentheorie, formalen Sprachen und Komplexitätstheorie
Grundlegende Mathematikkenntnisse
Programmierkenntnisse in Java oder C/C++ sind von Vorteil, falls Sie kein rein theoretisches Thema bearbeiten möchten

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 senden Sie eine E-Mail an studies_alg@mailbox.tu-dresden.de.