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

T-79.185 Verification (2 cr)

Autumn 2002

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

Previous years: [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:
    • Applications and Theory of Petri Nets 2002
    • TACAS 2002 Conference Proceedings
    • CAV 2002 Conference Proceedings
    • CONCUR 2002 Conference Proceedings
    • Workshop on Modelling of Objects, Components, and Agents, Aarhus 2002
    • Workshop on Practical Use of Coloured Petri Nets, Aarhus 2002
  • 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 17 September 17:00 in TB353 (Computer Science Dep.).

The seminar talks will start on

Tuesday 1 October 17:00 in TB353


Back to menu.
Back to menu.
Latest update: September 9, 2002 by
[TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links]
Latest update: 09 September 2002.