UPPAAL examples

Tutorial on UPPAAL and code examples posted in the course site.

You are invited to post your own experiments and commented queries.

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

No lecture next wednesday

The lecture of next Wednesday December 10th is cancelled. It will be re-scheduled on January. For more details see the course site.

So, next week the unique lecture is on Thursday.

Moreover, from now on, lectures on Thursdays will be always on room AB3

Exercises

I propose you to post your own solution of Exercises 9.3 and 9.7 in the course book. A discussion may follow on the proof principle you used.

I remind you that the log of the lectures is in the course web site.

Official web site for Timed Systems

The official web site for the Timed Systems course is up:

http://www.cs.unicam.it/tesei/advanced0809/

The site contains static information about the course (Calendar, Contents, Reading Material, Exam Instructions, etc.) and a log of all the given lectures.

The official blog of the course continues to be this one.

Timed Systems - First lecture on Monday December 1st

I remind all interested students that the course Timed Systems (4 Credits) will start on Monday December 1st 2008 at 17:00 in Room AB2.

I received, in the previous post, 3 comments of interested students. Of course other interested students can still join the course.

I will post the course calendar asap.

Take-home Exam Due Today

I just wanted to remind you that the deadline for the delivery of your solutions to the exercise in the take-home exam is today at 16:00 Italian time. Thanks to those of you who have already delivered their solutions.

Keep up the good work.