Counterexample-Preserving Reduction for Symbolic Model Checking

Wanwei Liu Rui Wang Xianjin Fu Ji Wang Wei Dong Xiaoguang Mao

Published in: CoRR (2013)

Keyphrases

symbolic model checking
model checking
formal verification
temporal logic
model checker
conformant planning
partial observability
formal specification
finite state
deterministic domains
symbolic representation
formal methods
artificial intelligence