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:
- Introduction to Infinite-State Systems
- Process Rewrite Systems
- Selected Techniques and Results