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

Seminar: Program Verification

(S2, SS 2003)

LuFG Informatik II


Instructor

Prof. Dr. Jürgen Giesl, René Thiemann, Darius Dlugosz



Times

The seminar will take place on July, 28. and August, 1.


Registration

Sorry, we will not take any further registrations.



Prerequisites

Participants should have some knowledge in program verification or related areas (for example "term rewriting", "functional programming", and in particular they should attend the course "mechanized program verification" which is given this semester).



References

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



Contents

In order to guarantee the reliability and correctness of programs, a formal verification is required. However, in general such verification proofs can be very costly and time-consuming. In particular, this holds for large programs used in practice. Therefore, the goal is to mechanize program verification as much as possible. Several such techniques and systems for program verification will be presented in this seminar.

Area

Theoretical Computer Science, Area of Specialization


Please have a look at the german site for further details


Last modified: Mon May 19 20:14:47 CEST 2003 / Research Group Computer Science II
RWTH Aachen