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

Seminar: Verification Techniques

(S2, SS 2006)

LuFG Informatik II


Prof. Dr. Jürgen Giesl, René Thiemann, Peter Schneider-Kamp


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


The seminar will take place on two days at the end of the lecture period (July 2006). The first preliminary meeting will be at the beginning of the lecture period (April 2006).


Participants should have knowledge in program verification or related areas (for example "functional programming", "term rewriting", or "mechanized program verification"). It is also possible to attend the course on "logic programming" this semester.


The books and papers to be discussed in the seminar will be announced at the preliminary meeting.


Theoretical Computer Science, Area of Specialization

Last modified: Fri Dec 2 14:40:11 CET 2005 / Research Group Computer Science II
RWTH Aachen