TCS /
Teaching /
Tik-79.185
Tik-79.185 Verification
Autumn 2000
For year 2001 see T-79.185
This is an advanced course about verification of parallel and distributed systems.
- Seminars chaired by Prof. Nisse Husberg:
- Course material:
Journal articles and research reports.
- Timed and Hybrid Automata, PN2000 Advanced Tutorial
- TACAS 2000 Conference Proceedings
- CAV 2000 Conference Proceedings
- CONCUR 2000 Conference Proceedings
- In order to pass the course one has to
- attend the seminars
- give seminar talks
- do the home assignment
- Time and place: Tuesdays at 17:15-20:00 at Computer Science Department building, room TB 353 starting 19 September 2000.
- Newsgroup: opinnot.tieto
Latest update: September 12, 2000
by Nisse.Husberg@hut.fi