Counterexample-Preserving Reduction for Symbolic Model Checking.

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

Published in: J. Appl. Math. (2014)

Keyphrases

symbolic model checking
model checking
formal verification
temporal logic
model checker
deterministic domains
conformant planning
formal specification
finite state
partial observability
binary decision diagrams
rough sets
symbolic representation
planning domains