Towards Trace Visualization and Exploration for Reactive Systems.
Shahar MaozAsaf KleinbortDavid HarelPublished in: VL/HCC (2007)
Keyphrases
- reactive systems
- visual exploration
- interactive exploration
- visualization tool
- information visualization
- temporal logic
- petri net
- model checking
- data exploration
- information flow
- formal methods
- data visualization
- state machines
- data analysis
- real time systems
- control flow
- self organizing maps
- visualization tools
- real time
- interactive visualization
- social networks
- databases
- knowledge representation
- database systems
- artificial intelligence