An Introduction to Specification and Verification

581366
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.
Vuosi Lukukausi Päivämäärä Periodi Kieli Vastuuhenkilö
2003 syksy 24.09-26.11. Englanti

Luennot

Aika Huone Luennoija Päivämäärä
Ke 14-16 C454 Opetusohjelman suunnittelija 24.09.2003-26.11.2003