Research Group Computer Science 2

Dept. of Computer Science

Seminar: Verification Techniques (S2, WS 2009/2010)

Instructors

Prof. Dr. Jürgen Giesl, Fabian Emmes, Carsten Fuhs, Carsten Otto

Contents

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

Times

The seminar will take place at the end of the lecture period.

Prerequisites

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

Area

Theoretical Computer Science, Area of Specialization

Further Details and Questions

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