Homepage of

Verification Algorithm Research Group

at Tampere University of Technology, Institute of Software Systems


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