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
2002 spring 16.01-22.02. Finnish

Lectures

Time Room Lecturer Date
Wed 10-12 A217 Opetusohjelman suunnittelija 16.01.2002-22.02.2002
Fri 12-14 A217 Opetusohjelman suunnittelija 16.01.2002-22.02.2002

Exercise groups

Group: 1
Time Room Instructor Date Observe
Fri 14-16 A320 Opetusohjelman suunnittelija 21.01.2002—01.03.2002
Group: 2
Time Room Instructor Date Observe
Tue 16-18 A216 Opetusohjelman suunnittelija 21.01.2002—01.03.2002