Lab Course “Modeling and Automated Verification” (SS2025): Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Johannes Lehmann (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Vorlesung |Title=Lab Course “Modeling and Automated Verification” |Research group=Verifikation und formale quantitative Analyse |Lecturers=Christel Baier |Term=SS |Year=2025 |Lecture series=Lab Course “Modeling and Automated Verification” |Module=CMS-LM-ADV, CMS-LM-MOC, MCL-PS |SWSLecture=0 |SWSExercise=2 |SWSPractical=0 |Exam type=Hausarbeit, Referat |Description=This lab course is intended for students in the Master's programs “Computational…“) |
Johannes Lehmann (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| (8 dazwischenliegende Versionen von 2 Benutzern werden nicht angezeigt) | |||
| Zeile 1: | Zeile 1: | ||
{{Vorlesung | {{Vorlesung | ||
|Title=Lab Course “Modeling and Automated Verification” | |Title=Lab Course “Modeling and Automated Verification” | ||
|Research group= | |Research group=Algebraische und logische Grundlagen der Informatik | ||
|Lecturers=Christel Baier | |Lecturers=Christel Baier | ||
|Language=EN | |||
|Term=SS | |Term=SS | ||
|Year=2025 | |Year=2025 | ||
|Module=CMS-LM-ADV, CMS-LM-MOC, MCL-PS | |Module=CMS-LM-ADV, CMS-LM-MOC, MCL-PS | ||
|SWSLecture=0 | |SWSLecture=0 | ||
|SWSExercise=2 | |SWSExercise=2 | ||
|SWSPractical=0 | |SWSPractical=0 | ||
|Description=This lab course is intended for students in the Master's programs “Computational Logic” and “Computational Modeling and Simulation”. It offers the opportunity to participate in theoretical as well as applied state-of-the-art research projects. Most problems addressed in this course are closely related to or are part of current research projects of our workgroup. See for example: | |Description=This lab course is intended for students in the Master's programs “Computational Logic” and “Computational Modeling and Simulation”. It offers the opportunity to participate in theoretical as well as applied state-of-the-art research projects. Most problems addressed in this course are closely related to or are part of current research projects of our workgroup. See for example: | ||
| Zeile 34: | Zeile 33: | ||
=== Registration === | === Registration === | ||
Registration via Opal is required until 14 | Registration [https://bildungsportal.sachsen.de/opal/auth/RepositoryEntry/48422027273/ via Opal] is required until April 14. | ||
=== Prerequisites === | === Prerequisites === | ||
| Zeile 44: | Zeile 43: | ||
=== Exam and Creditability === | === Exam and Creditability === | ||
'''Master Computational Logic''' | |||
* {{ModuleLink|MCL-PS}}: ''Projektarbeit inkl. Kolloquium'' (research project with a 10-page documentation <u>and</u> a 30-minute presentation) | |||
'''Master Computational Modeling and Simulation''' | |||
* {{ModuleLink|CMS-LM-MOC}}: ''Projektarbeit inkl. Kolloquium'' (research project with a 10-page documentation <u>and</u> a 30-minute presentation) | |||
* {{ModuleLink|CMS-LM-ADV}}: ''Projektarbeit inkl. Kolloquium'' (research project with a 10-page documentation <u>and</u> a 30-minute presentation) | |||
=== Contact === | === Contact === | ||
In case of organisational questions, please contact [[Sascha Klüppelholz]]. | |||
}} | }} | ||
Aktuelle Version vom 17. März 2025, 16:51 Uhr
Lab Course “Modeling and Automated Verification”
Lehrveranstaltung mit SWS 0/2/0 (Vorlesung/Übung/Praktikum) in SS 2025
This lab course is intended for students in the Master's programs “Computational Logic” and “Computational Modeling and Simulation”. It offers the opportunity to participate in theoretical as well as applied state-of-the-art research projects. Most problems addressed in this course are closely related to or are part of current research projects of our workgroup. See for example:
Potential topics include:
- Symbolic methods in model checking
- Explicit model checking
- Reduction techniques
- Automata over finite and infinite words
- Numerical methods for quantitative analysis
- Logics
- Specification formalisms
- Abstraction techniques
- Case studies
This course is held in English.
Registration
Registration via Opal is required until April 14.
Prerequisites
- Solid foundations in algorithms and data structures, complexity theory, automata theory and formal languages
- Solid programming skills
- Basic mathematical foundations
Exam and Creditability
Master Computational Logic
- MCL-PS: Projektarbeit inkl. Kolloquium (research project with a 10-page documentation and a 30-minute presentation)
Master Computational Modeling and Simulation
- CMS-LM-MOC: Projektarbeit inkl. Kolloquium (research project with a 10-page documentation and a 30-minute presentation)
- CMS-LM-ADV: Projektarbeit inkl. Kolloquium (research project with a 10-page documentation and a 30-minute presentation)
Contact
In case of organisational questions, please contact Sascha Klüppelholz.
