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 |
|---|---|---|---|
| Mon 10-12 | D122 | 17.01.2005-23.02.2005 | |
| Wed 10-12 | D122 | 17.01.2005-23.02.2005 |
Exercise groups
| Time | Room | Instructor | Date | Observe |
|---|---|---|---|---|
| Tue 18-20 | C221 | Harri Mansikka | 24.01.2005—04.03.2005 |
| Time | Room | Instructor | Date | Observe |
|---|---|---|---|---|
| Wed 12-14 | DK117 | Harri Mansikka | 24.01.2005—04.03.2005 |