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
2004 spring 19.01-25.02. Finnish

Lectures

Time Room Lecturer Date
Mon 14-16 B450 19.01.2004-25.02.2004
Wed 12-14 A414 Opetusohjelman suunnittelija 19.01.2004-25.02.2004

Exercise groups

Group: 1
Time Room Instructor Date Observe
Mon 12-14 B453 Harri Mansikka 26.01.2004—05.03.2004
Group: 2
Time Room Instructor Date Observe
Wed 10-12 B450 Harri Mansikka 26.01.2004—05.03.2004

Huom! Maanantain luentosali vaihtunut!