Spesifioinnin ja verifioinnin jatkokurssi
6
Hajautetut järjestelmät ja tietoliikenne
Syventävät opinnot
Kurssilla keskitytään prosessialgebroihin ja ekvivalensseihin perustuvaan verifiointiin. Erityisesti käsitellään siirtymäsysteemit ja niiden laajenukset reaaliaikasovelluksiin, ekvivalensseja, prosessialgebrojen aksiomatisointia, pi-kalkyyli ja tietoturvaprotokollien verifiointi.
Luennot
| Aika | Huone | Luennoija | Päivämäärä |
|---|---|---|---|
| Ke 12-14 | B222 | Timo Karvi | 02.03.2005-29.04.2005 |
| Pe 12-14 | B222 | Timo Karvi | 02.03.2005-29.04.2005 |
Harjoitusryhmät
| Aika | Huone | Ohjaaja | Päivämäärä | Huomioitavaa |
|---|---|---|---|---|
| Ke 10-12 | B119 | Timo Karvi | 07.03.2005—06.05.2005 |
Ilmoittautuminen alkaa 22.2.