Symbolic Model Checking Visualization.

Gila Kamhi Limor Fix Ziv Binyamini

Published in: FMCAD (1998)

Keyphrases

symbolic model checking
model checking
partial observability
formal verification
conformant planning
symbolic representation
deterministic domains
data analysis
binary decision diagrams
data mining
data structure
dynamic programming
domain specific
temporal logic
finite state