Spesifioinnin ja verifioinnin perusteet

581366
5
Networking and Services
Advanced studies
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.
Year Semester Date Period Language In charge
2009 autumn 02.11-09.12. 2-2 Finnish

Lectures

Time Room Lecturer Date
Mon 12-14 C222 Timo Karvi 02.11.2009-09.12.2009
Wed 10-12 C222 Timo Karvi 02.11.2009-09.12.2009

Exercise groups

Group: 1
Time Room Instructor Date Observe
Wed 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.