Project Group "Model Checking" (SS2018): Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Steffen Märcker (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
Johannes Lehmann (Diskussion | Beiträge) K (Textersetzung - „Verifikation und formale quantitative Analyse“ durch „Algebraische und logische Grundlagen der Informatik“) |
||
| (Eine dazwischenliegende Version von einem anderen Benutzer wird nicht angezeigt) | |||
| Zeile 1: | Zeile 1: | ||
{{Vorlesung | {{Vorlesung | ||
|Title=Project Group | |Title=Project Group “Model Checking” | ||
|Research group= | |Research group=Algebraische und logische Grundlagen der Informatik | ||
|Lecturers=Christel Baier; | |Lecturers=Christel Baier; | ||
|Term=SS | |Term=SS | ||
Aktuelle Version vom 5. März 2025, 14:47 Uhr
Project Group “Model Checking”
Lehrveranstaltung mit SWS 0/0/4 (Vorlesung/Übung/Praktikum) in SS 2018
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 Logic”. The tasks are usually taken from our current projects and cover programming and theoretical problems as well. At the end of the course, the students have to give a short talk (30 min) about their work and their achieved results.
Registration and Dates
To participate, please register using the form on the course hompage until Sunday, April 15th, 2018.
Prerequisites
- Profound knowledge in model checking, acquired in the lecture “Model Checking” or another, similar course at a partner university
- 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 C/C++ are beneficial, unless you are interested in a purely theoretical topic
Course Homepage
Further details can be found here.
