Syllabus
The table below gives the planned syllabus for the seminar. The syllabus lists the topics and papers to be discussed.
Material describing the course is available elsewhere.
Students should study the system to be discussed prior to the meeting so that they can participate in the discussion.
This syllabus is provisional and subject to change. If it is necessary to revise the schedule, then this page will be updated to reflect the changes.
| Date | Paper or Topic (Discussion Leader) | Homework |
|---|---|---|
| Aug. 25 | Overview, background, planning (Gary) | |
| Sep. 3 | Alloy (Rochelle) | |
| Sep. 10 | Alloy (Rochelle) | hw1 |
| Sep. 17 | Spec# (Faraz) | |
| Sep. 23 | Spec# (Faraz) | hw2 |
| Sep. 31 | UPPAAL (Ghaith) Directory of info including tutorials. | |
| Oct. 8 | UPPAAL (Ghaith) | hw3 |
| Oct. 15 | Discrete Event Calculus Reasoner (Lotzi) | |
| Oct. 22 | No Class | |
| Oct. 29 | Discrete Event Calculus Reasoner (Lotzi) | hw4 |
| Nov. 5 | SPIN (Faraz) | |
| Nov. 10 | No class | |
| Nov. 19 | SPIN (Faraz) | hw5 |
| Nov. 24 | SPARK Toolset (Ghaith) | |
| Dec. 3 | SPARK Toolset (Ghaith) | hw5 |
Last modified Monday, December 1, 2008.