Interactive visualization of large state spaces

International Journal on Software Tools for Technology Transfer

Volumn 8, Issue 1, 2006, Pages 77-91

  Groote, Jan Friso ^a   van Ham, Frank ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

Graph drawing; State space; State transition graphs; Transition systems; Visualization

Indexed keywords

EID: 31744441550     PISSN: 14332779     EISSN: None     Source Type: Journal    
DOI: 10.1007/s10009-005-0198-5     Document Type: Article

References (18)

1. Arnold A (1994) Finite transition systems. Prentice Hall, Englewood Cliffs, NJ
2. Baeten J, Weijland P (1991) Process algebra. In: Cambridge tracts in theoretical computer science, vol 18. Cambridge University Press, Cambridge, UK
3. Fernandez J-C, Garavel H, Kerbrat A, Mateescu R, Mounier L, Sighireanu M (1996) CADP - A Protocol Validation and Verification Toolbox. In: Proceedings of the 8th International Conference on Computer Aided Verification. LCNS, vol 1102, Springer, pp 437-440
4. Blom SCC, Fokkink WJ, Groote JF, van Langevelde IA, Lisser B, van de Pol JC (2001) mCRL: A toolset for analysing algebraic specifications. In: Computer-Aided Verification (CAV 2001). Lecture notes in computer science, vol 2102. Springer, Berlin Heidelberg New York, pp 250-254
5. Carrière J, Kazman R (1995) Research report: Interacting with huge hierarchies: Beyond cone trees. In: Proceedings of the IEEE conference on information visualization. IEEE Press, New York, pp 74-81
6. Gansner ER, North SC (2000) An open graph visualization system and its applications to software engineering. Softw Practice Exper 30(11):1203-1233
7. Garavel H et al. (2003) The VLTS (Very Large Transition System) Benchmark suite. http://www.inrialpes.fr/vasy/cadp/resources/ benchmark_bcg.html
8. Groote JF, Pang J, Wouters AG (2003) Analysis of a distributed system for lifting trucks. The Journal of Logic and Algebraic Programming 55(1-2):21-56
9. Groote JF, van Ham F (2003) Large state space visualization. In: Proceedings of TACAS 2003, pp 585-590
10. van Ham F, van de Wetering H, van Wijk JJ (2002) Visualization of state transition graphs. IEEE Trans Visual Comput Graph 8(4):319-329
11. IEEE Computer Society (1996) IEEE standard for a high performance serial bus, Std 1394-1995, August 1996
12. Jéron T, Jard C (1994) 3D layout of reachability graphs of communicating processes. In: Proceedings of the DIMACS international workshop on graph drawing. Springer, Berlin Heidelberg New York, pp 25-32
13. Koren Y, Carmel L, Harel D (2001) ACE: A fast multiscale eigenvectors computation for drawing huge graphs. Technical Report MCS01-17, Weizmann Institute Of Science. http://www.wisdom.weizmann.ac.il/reports.html
14. van Langevelde IA (2001) A compact file format for labeled transition systems. Technical report SEN-R0102, CWI, Amsterdam, The Netherlands
15. Luttik SP (1997) Description and formal specification of the link layer of P1394. Technical report SEN-R9706, CWI, Amsterdam, The Netherlands
16. Mauw S, Veltink GJ (eds) (1993) Algebraic specifications of communication protocols. Cambridge tracts in theoretical computer science, vol 36. Cambridge University Press, Cambridge, UK
17. Robertson GG, Mackinlay JD, Card SK (1991) Cone trees: Animated 3D visualizations of hierarchical information. In: Proceedings of the conference on human factors in computing systems (CHI '91), pp 189-194
18. Tutte W (1963) How to draw a graph. Proc Lond Math Soc 3(13):743-768