Introduction to Verification of Infinite-State Systems (PhD Course, 24.-25. February, 2005)

Location: Fredrik Bajersvej 7E, room E1-214; commencing on February 24th at 9:00

Lecturers: Course Description: Follow this link.

Evaluation: In order to pass the course, the students will be asked to write a short essey concerning the topic of the course and the relationship to their own research. Details will be specified during the lectures.

Course Material: