|Research Group Computer Science 2||Dept. of Computer Science|
Seminar: Verification Techniques
(S2, WS 2017/18)
Prof. Dr. Jürgen Giesl, Florian Frohn, Marcel Hark, Jera Hensel, David Korzeniewski
Several techniques and methods for program verification will be presented in this seminar.
The seminar will take place as a block seminar in February 2018.
Participants should have knowledge in program verification or related areas (for example "functional programming", "logic programming", "term rewriting", etc.).
Theoretical Computer Science
For further details please contact Marcel Hark.
|Disclaimer||Research Group Computer Science 2||Dept. of Computer Science|