|Research Group Computer Science 2||Dept. of Computer Science|
Seminar: Verification Techniques
(S2, WS 2009/2010)
Prof. Dr. Jürgen Giesl, Fabian Emmes, Carsten Fuhs, Carsten Otto
Several techniques and methods for program verification will be presented in this seminar.
The seminar will take place at the end of the lecture period.
Participants should have knowledge in program verification or related areas (for example "functional programming", "logic programming", "term rewriting", or "mechanized program verification").
Theoretical Computer Science, Area of Specialization
For further details please contact Carsten Fuhs. See also the corresponding page of the seminar in German.
|Disclaimer||Research Group Computer Science 2||Dept. of Computer Science|