T-79.157 Formal Description and Verification of Computing Systems (2 cr)

Spring 2003

This course is about formal modelling of distributed and parallel systems. The most important use of the formal model is verification of system properties. This spring focus will be on "unifying Petri Nets" based on a new book with the same title. Other material may also be used, depending on the specific interests of the students.

Previous years: [Spring 2002] [Spring 2001]

Note: the course T-79.157 can be replaced by taking the course T-79.5305 Formal Methods.

General Information

• Seminars by Prof. Nisse Husberg : Tuesday 16-19, room T4
• Course material:
  "Unifying Petri Nets", Springer Lecture Notes LNCS 2128, 2001.
  Other articles and publications.
• In order to pass the course one has to
  • attend the seminars and
  • write a special assignment.

• 14 Jan: Opening, overview, handing out assignments
• 21 Jan: NO seminar (due to travel)
• 28 Jan: The real begin of seminars

Newsgroup: opinnot.tieto.