Resume

Log of the lectures up to date, in the course site.

I will post the project (20% of the final grade) during the Christmas holidays.

Next lectures (tomorrow and Thursday) will be quite practical: download UPPAAL and play with it :-D