Zur Webseite der Informatik

Software Verification

2L + 2E (Filieri)

Summer semester 2015

Lecture in LSF

Exercise in LSF

Lectures

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

Exercises

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.

Timetable

Lecture: Monday, 11:30 - 13:00, Room V38.02
Exercise: Tuesday, 11:30 - 13:00, 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.

Exam

TBA


 

Prerequisites

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.

Literature

Available on Ilias