Spesifioinnin ja verifioinnin perusteet
5
Hajautetut järjestelmät ja tietoliikenne
Syventävät opinnot
The course introduces some basic concepts and techniques in the verification of distributed systems: labelled transition graphs, global state graph, trace and bisimulation equivalences, basic Lotos and linear temporal logic. Moreover, the CADP spesification and verification software will be used in the exercises.
Luennot
| Aika | Huone | Luennoija | Päivämäärä |
|---|---|---|---|
| Ma 12-14 | C222 | Timo Karvi | 02.11.2009-09.12.2009 |
| Ke 10-12 | C222 | Timo Karvi | 02.11.2009-09.12.2009 |
Harjoitusryhmät
| Aika | Huone | Ohjaaja | Päivämäärä | Huomioitavaa |
|---|---|---|---|---|
| Ke 12-14 | CK111 | Harri Forsgren | 02.11.2009—11.12.2009 |
Ilmoittautuminen tälle kurssille alkaa tiistaina 13.10. klo 9.00.
Kurssin harjoitukset alkavat jo ensimmäisellä luentoviikolla.