DMCA
Large state space visualization (2003)
| Venue: | In Proc. of Tools and Algorithms for Construction and Analysis of Systems (TACAS 2003), volume 2619 of LNCS |
| Citations: | 6 - 1 self |
BibTeX
@INPROCEEDINGS{Groote03largestate,
author = {Jan Friso Groote and Frank Van Ham},
title = {Large state space visualization},
booktitle = {In Proc. of Tools and Algorithms for Construction and Analysis of Systems (TACAS 2003), volume 2619 of LNCS},
year = {2003},
pages = {585--590},
publisher = {Springer}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Abstract. Insight in the global structure of a state space is of great help in the analysis of the underlying process. We advocate the use of visualization for this purpose and present a new method to visualize the structure of very large state spaces. The method 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 visualization 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. 1
