|
|
Lehr- und Forschungsgebiet Informatik 2 | Fachgruppe Informatik |
|
Seminar: Verifikationsverfahren(S2, WS 2026/27) |
|
Prof. Dr. Jürgen Giesl, Jan-Christoph Kassing, Arian Kulmer, Moritz Leven Rosarius, Éléanore Meyer
In diesem Seminar werden verschiedene Techniken und Verfahren zur Verifikation von Programmen vorgestellt.
Das Seminar wird als Blockseminar am Ende des Semesters durchgeführt.
Kenntnisse in Programmverifikation oder verwandten Gebieten (z.B. "Logikprogrammierung", "Funktionale Programmierung", "Termersetzungssysteme", "Satisfiability Checking", "Model Checking", "Statische Programmanalyse", "Semantik und Verifikation von Software", etc.).
Theoretische Informatik
Bitte wenden Sie sich an Moritz Leven Rosarius.
| Lehr- und Forschungsgebiet Informatik 2 | Fachgruppe Informatik |
|