Zur Webseite der Informatik

Software Verification

2L + 2E (Filieri)

Summer semester 2014

Lecture in LSF

Exercise in LSF


All materials for the lectures are available in ILIAS. The password to participate in the course will be given in the first lecture.


The exercises take place every week. During the exercise sections application of the theoretical concepts will be discussed, as well as practical usage of related tools. Homework (including the use of verification tools) might be required.


Lecture: Monday, 11:30 - 13:00, Room 0.363
Exercise: Tuesday, 14:00 - 15:30, Room 0.124

Details are subject to change. Lecture and exercise scheduling is flexible. A tentative schedule is reported in the following calendar. The calendar will be updated during the course to reflect schedule changes.


24.07.2014, from 14:30 to 17:00,
in room V38.03 (Liste der Prüfungstermine des Prüfungsamts resp. LSF).

Registration is required.



This course has Software Engineering, Theoretical Computer Science (especially automata theory, decidability, and complexity), and Mathematics (especially Algebra and Logics) as prerequisites.

Notice this is an advanced course, the satisfaction of these prerequisites will be taken for granted.

If you are unsure whether you have these prerequisites, please contact the lecturer and he will help you decide whether this course is appropriate for you.


See Ilias