This time table is tentative, and may be subject to change.
Every week there is also an 1.5 hours of consultation. Dates will be anounced in the lectures.
The dates are tenative; in the first session we can decide to move some dates, with input from students.
| Date (tentative) | Room | Type | Contents (tbc) | Slides/Notes | |
|---|---|---|---|---|---|
| 1 |
17/01, 10:45—12:30 17/01, 15:45—17:30 19/01, 10:45—12:30 19/01, 13:45—14:30 |
CR2L CR2N HB2D CR2N |
lecture lab lecture tutorial |
introduction, challenges, process algebra AWN modelling(1) modelling(1): process algebra AWN, Part II |
Lecture 1 Lab Lecture 2 text on SOS Exercise 1 |
| 2 |
23/01, 13:45—15:30 23/01, 15:45—17:30 26/01, 13:45—15:30 26/01, 15:45—16:30 |
HB2D HB2D HB2D HB2D |
lecture lab lecture lab |
case study: AODV, verification (1) modelling(2) timed automata, Uppaal, AWN2Uppaal modelling(3) |
Lecture 3 Lecture 4 |
| 3 |
01/02, 13:45—15:30 01/02, 15:45—17:30 02/02, 13:45—15:30 02/02, 15:45—16:30 |
CR2N CR2N CR2N CR2N |
lecture lab lecture lab |
verification, progess, fairness modelling mechanised verification: Isabelle/HOL verification? |
Lecture 5 Lecture 6 |
| 4 |
06/02, 13:45—15:30 06/02, 15:45—16:30 07/02, 9:00— |
3334 3334 Zi-6063 |
lecture lab oral exam |
open problems, Q&A |
Lecture 7 |
| 5—7 | 5 hours/week | practical component | individual project |