Hannes Pretorius
(Visualization Group)

Visualization of Transition Systems

Transition systems are often used for analysis and
verification of computer based systems.
Due to their complexity and size,
insight into the systems they describe is often hampered.
We aim to address this by developing tools and techniques
for the interactive visualization of large transition systems.
Initial results are promising and suggest
that such tools can be an important aid for the analysis of complex systems.