Homepage of

Verification Algorithm Research Group

at Tampere University of Technology, Institute of Software Systems

Introduction to the group and its work
Publications by the group (many are downloadable)
RATE project pages, protected by password (public pages to be prepared)
TVT project homepage (TVT tool version 3.0.2 available)

An LSTS illustration of the externally observable behaviour of the system of two dining philosophers.

Sample LTS illustration.

Antti Valmari, ava@cs.tut.fi, 2002-6-6