This page in English  Lehr- und Forschungsgebiet Informatik 2  Fachgruppe Informatik RWTH

Seminar: Verifikationsverfahren

(S2, WS 2017/18)

LuFG Informatik 2


Veranstalter

Prof. Dr. Jürgen Giesl, Florian Frohn, Marcel Hark, Jera Hensel, David Korzeniewski



Inhalt

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



Termine

Das Seminar wird als Blockseminar im Februar 2018 durchgeführt.



Voraussetzungen

Kenntnisse in Programmverifikation oder verwandten Gebieten (z.B. "Funktionale Programmierung", "Logikprogrammierung", "Termersetzungssysteme", etc.).



Zuordnung

Theoretische Informatik


Rückfragen

Bitte wenden Sie sich an Marcel Hark.


Disclaimer  Lehr- und Forschungsgebiet Informatik 2  Fachgruppe Informatik RWTH