EVM: Incorporating Model Checking into Exploratory Visual Analysis.

Alex Kale Ziyang Guo Xiaoli Qiao Jeffrey Heer Jessica Hullman

Published in: CoRR (2023)

Keyphrases

model checking
visual analysis
information visualization
temporal logic
interactive exploration
formal specification
temporal properties
finite state
model checker

automated verification
formal verification
symbolic model checking
reachability analysis
formal methods
computation tree logic
process algebra
data analysis
timed automata

transition systems
epistemic logic
data mining
bounded model checking
verification method
data visualization
concurrent systems
user interface
linear temporal logic

information retrieval
asynchronous circuits
pspace complete
modal logic
image processing
knowledge base
machine learning
databases
alternating time temporal logic