Symbolic Model-Checking of Stateful Timed CSP Using BDD and Digitization.
Truong Khanh NguyenJun SunYang LiuJin Song DongPublished in: ICFEM (2012)
Keyphrases
- symbolic model checking
- binary decision diagrams
- constraint satisfaction problems
- boolean functions
- petri net
- conformant planning
- model checking
- constraint satisfaction
- planning problems
- constraint programming
- knowledge compilation
- constraint propagation
- arc consistency
- np complete
- formal verification
- constraint solving
- np hard
- model checker
- boolean formula
- search space
- markov chain
- association rules