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.