Team Project “Model Checking” (SS2025): Unterschied zwischen den Versionen
Johannes Lehmann (Diskussion | Beiträge) K (Textersetzung - „Verifikation und formale quantitative Analyse“ durch „Algebraische und logische Grundlagen der Informatik“) |
Andrea Kühn (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 17: | Zeile 17: | ||
=== Registration === | === Registration === | ||
Registration [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/48422027281 via Opal] is required until 14 | Registration [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/48422027281 via Opal] is required until April 14. | ||
=== Prerequisites === | === Prerequisites === | ||
| Zeile 28: | Zeile 28: | ||
=== Dates === | === Dates === | ||
Participants will be notified about the initial meeting, where each group is assigned a topic. Presentations will be held between | Participants will be notified via e-mail about the initial meeting, where each group is assigned a topic. Presentations will be held between June and August. The specific dates will be announced later. | ||
The written summary is due by | The written summary is due by August 30, 2025. | ||
=== Exam and Creditability === | === Exam and Creditability === | ||
Version vom 17. März 2025, 16:06 Uhr
Team Project “Model Checking”
Lehrveranstaltung mit SWS 0/0/8 (Vorlesung/Übung/Praktikum) in SS 2025
Dozent
Umfang (SWS)
- 0/0/8
Module
Vorlesungsreihe
This course offers advanced topics in the field of formal modeling and analysis. 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 and theoretical problems as well. Within this research-relevant project, students are working in teams of about 2 to 4 people to solve a complex interdisciplinary task that includes different areas of logical modeling and model checking.
This course is held in English.
Registration
Registration via Opal is required until April 14.
Prerequisites
- 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
Dates
Participants will be notified via e-mail about the initial meeting, where each group is assigned a topic. Presentations will be held between June and August. The specific dates will be announced later.
The written summary is due by August 30, 2025.
Exam and Creditability
The exam is according to the module description.
Contact
Please contact Sascha Klüppelholz for organisational questions.
