Improving an interactive visualization of transition systems.

Bas Ploeger Carst Tankink

Published in: SOFTVIS (2008)

Keyphrases

interactive visualization
transition systems
concurrent systems
interactive visual
model checking
temporal logic
data visualization
finite state
information visualization
control flow
practical reasoning
artificial intelligence
machine learning
open source
reactive systems
fully observable