Formal methods for system design

My course is mostly based on the wonderful book Principles of Model Checking by C. Baier and J.-P. Katoen.

For further information on the course organization, grading, exercise sets, project, tool presentations, see UMONS Moodle.

Lectures (handouts)