University of Konstanz
Graduiertenkolleg / PhD Program
Computer and Information Science

Colloquium of the Department and the PhD Program


Visualisation of huge state spaces


Prof. Dr. Ir. Jan Friso Groote, Eindhoven University of Technology
Eindhoven, Netherlands

date & place

Wednesday, 01.02.2006, 16:15 h
Room C252


The system design and analysis (OAS) group at Eindhoven University of Technology (TU/e) is working on modelling the behaviour of interacting processes. As such they are developing the mCRL2 language and toolset which comprises of process algebra extended with data. The analysis of systems described in mCRL2 often boils down to the investigation of huge state spaces (>> 10^6) states. In this talk a way to visualise such state spaces will be presented. The core of this visualisation technique has been developed mainly by Jack van Wijk and Frank van Ham. If time allows some recent experiments with alternative ways of visualisation are addressed.