Date | Name | Pages | Material | "Opponent" | |
18 Sep | Juha Seppola | p.1-62 | Peled | ||
18 Sep | Mikko Särelä | p.63-84 | Peled | slides | |
25 Sep | Emil Falck | p.85-110 | Peled | Jukka Honkola | |
25 Sep | Niko Cankar | p.113-138 | Peled | Annikka Aalto | |
2 Oct | Timo Latvala | p. | Peled | Samuli Hinneri | |
2 Oct | Teemu Tynjälä | p. -178 | Peled | Vesa Luukkala | |
9 Oct | Samuli Hinneri | p. 179-214 | Peled | ||
9 Oct | Jukka Honkola | p. 215-248 | Peled | Timo | |
16 Oct | Annikka Aalto | p. 249-267 | Peled | Teemu | slides |
16 Oct | Henna Ruusu | p. 267-278 | Peled | Li | |
23 Oct | Annikka Aalto | p. 279-298 | Peled | Niko | |
23 Oct | Li Qinghai | p. 299-319 | Peled | Henna | |
30 Oct | Timo | p. 39-58 | CONCUR | ||
30 Oct | Teemu | p. 143-162 | SPIN | ||
1-2 Nov | MARIA Release Seminar | Free for students | Please, register ! | ||
6 Nov | Niko | p. 268-282 | TACAS | ||
6 Nov | (overtimed) | p. | |||
13 Nov | Vesa Luukkala | Cavalli: Formal methods in Conformance testing | PTS'93 | Juha | |
13 Nov | Jukka Hinkola | p. 73-84 | MOCA'01 | Li | |
20 Nov | Mikko Särelä | p. 298-310 | CAV'01 | Henna | |
20 Nov | Samuli Hinneri | p. 211-228 | FMICS'2001 | Juha | |
27 Nov | NO seminar !! | Bryssel | |||
4 Dec | Emil Falck | p. 1-18 | PN'2001 | Henna | |
4 Dec | Vesa Luukkala | Helovuo, Leppänen:Exploration Testing | ICACSD'2001 | Teemu |
Make a model of Stenning's protocol (Nancy Lynch: Distributed Algorithms, p. 693--697) and verify it.
Write a report describing the analyser, the model and the analysis results.
You can use any analyser you wish, e.g. Maria, PROD, Design/CPN, Spin etc. There are very good examples at www.daimi.aau.dk/designCPN/.
The deadline for the assignment is January 15 2002, but if you have problems, please contact me.