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 |
|---|---|---|---|
| Tue 16-18 | A318 | Opetusohjelman suunnittelija | 16.01.2001-22.02.2001 |
| Thu 16-18 | A318 | Opetusohjelman suunnittelija | 16.01.2001-22.02.2001 |
Exercise groups
| Time | Room | Instructor | Date | Observe |
|---|---|---|---|---|
| Tue 14-16 | C454 | Opetusohjelman suunnittelija | 23.01.2001—01.03.2001 |
Huom! opinto-oppaassa mainittu kurssin luennointiaika on muuttunut