Lehr- und Forschungsgebiet Informatik 2

Fachgruppe Informatik

Seminar: Verifikationsverfahren (S2, WS 2021/22)

Veranstalter

Prof. Dr. Jürgen Giesl, Daniel Cloerkes, Stefan Dollase, Marcel Hark, David Keller, Dominik Meier, Fabian Meyer

Inhalt

In diesem Seminar werden verschiedene Techniken und Verfahren zur Verifikation von Programmen vorgestellt.

Termine

Das Seminar wird als Blockseminar am Ende des Semesters durchgeführt.

Voraussetzungen

Kenntnisse in Programmverifikation oder verwandten Gebieten (z.B. "Funktionale Programmierung", "Logikprogrammierung", "Termersetzungssysteme", "Satisfiability Checking", "Model Checking", "Statische Programmanalyse", "Semantik und Verifikation von Software", etc.).

Zuordnung

Theoretische Informatik

Rückfragen

Bitte wenden Sie sich an Dominik Meier.

Disclaimer

Lehr- und Forschungsgebiet Informatik 2

Fachgruppe Informatik