T-79.185 Verification (3 cr)

Autumn 2003

[General Information] [Lectures] [Home assignments] [TOPI]

Previous years: [Autumn 2002] [Autumn 2001] [Autumn 2000]

This is an advanced course about verification of parallel and distributed systems.

General Information

• Seminars chaired by Prof. Nisse Husberg:
  Tuesday 17-20, room TB353.
• Course material:
  Journal articles and research reports from:
  • Conference Proceedings
• In order to pass the course one has to
  • attend the seminars
  • give seminar talks
  • do the home assignment

Schedule

The first meeting will be on
Tuesday 16 September 17:00 in TB353 (Computer Science Dep.).

The seminar talks will start on
Tuesday 23 September 17:00 in TB353

Back to menu.