Introduction to Model-Checking Techniques

June 14-25, Politecnico di Milano

Michal Young [email: michal@cs.uoregon.edu]

Jump to: Home | Schedule | Lectures

Lecture Notes

Week 1

Introduction (Tuesday)
Properties (Wednesday)
Explicit MC Algorithms (Thursday)
Implicit (Symbolic) MC Algorithms (Friday)

Week 2

Alloy and Modeling Non-Concurrent Systems (Tuesday)