TCS / Studies / T-79.185 Verification
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

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
Back to menu.


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.

[TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links]
Latest update: 07 September 2004.