An Introduction to Specification and Verification

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
2003 autumn 24.09-26.11. English


Time Room Lecturer Date
Wed 14-16 C454 Opetusohjelman suunnittelija 24.09.2003-26.11.2003