Diese Seite auf Deutsch  Research Group Computer Science 2  Dept. of Computer Science RWTH

Seminar: Verification Techniques

(S2, WS 2017/18)

LuFG Informatik 2


Instructors

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



Contents

Several techniques and methods for program verification will be presented in this seminar.



Times

The seminar will take place as a block seminar in February 2018.



Prerequisites

Participants should have knowledge in program verification or related areas (for example "functional programming", "logic programming", "term rewriting", etc.).



Area

Theoretical Computer Science


Further Details and Questions

For further details please contact Marcel Hark.


Disclaimer  Research Group Computer Science 2  Dept. of Computer Science RWTH