Spesifioinnin ja verifioinnin perusteet
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.
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
Time | Room | Instructor | Date | Observe |
---|---|---|---|---|
Fri 14-16 | A320 | Opetusohjelman suunnittelija | 21.01.2002—01.03.2002 |
Time | Room | Instructor | Date | Observe |
---|---|---|---|---|
Tue 16-18 | A216 | Opetusohjelman suunnittelija | 21.01.2002—01.03.2002 |