Large state space visualization

Authors:
Jan Friso Groote;Frank van Ham
Affiliations:
Department of Computer Science, Technische Universiteit Eindhoven, Eindhoven, The Netherlands;Department of Computer Science, Technische Universiteit Eindhoven, Eindhoven, The Netherlands
Venue:
TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems
Year:
2003

Citing 5
Cited 2

Process algebra

Process algebra
Cone Trees: animated 3D visualizations of hierarchical information

CHI '91 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
Algebraic specification of communication protocols

Algebraic specification of communication protocols
Interactive Visualization of State Transition Systems

IEEE Transactions on Visualization and Computer Graphics
Visualization of State Transition Graphs

INFOVIS '01 Proceedings of the IEEE Symposium on Information Visualization 2001 (INFOVIS'01)

Algebraic software analysis and embedded simulation of a driving robot

Proceedings of the 2007 Summer Computer Simulation Conference
Visualising larger state spaces in ProB

ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B

Quantified Score

Hi-index	0.00

Visualization

Abstract

Insight in the global structure of a state space is of great help in the analysis of the underlying process. We present a tool to visualize the structure of very large state spaces. It uses a clustering method to obtain a simplified representation, which is used as a backbone for the display of the entire state space. With this tool we are able to answer questions about the global structure of a state space that cannot easily be answered by conventional methods. We show this by presenting a number of visualizations of real-world protocols.