Transition-based coverage estimation for symbolic model checking.

Xingwen Xu Shinji Kimura Kazunari Horikawa Takehiko Tsuchiya

Published in: ASP-DAC (2006)

Keyphrases

symbolic model checking
model checking
partial observability
conformant planning
model checker
symbolic representation
formal verification
test suite
deterministic domains
machine learning
multi agent systems
binary decision diagrams