Abstraction refinement in symbolic model checking using satisfiability as the only decision procedure.
Bing LiChao WangFabio SomenziPublished in: Int. J. Softw. Tools Technol. Transf. (2005)
Keyphrases
- symbolic model checking
- model checking
- satisfiability problem
- partial observability
- formal verification
- temporal logic
- decision makers
- model checker
- binary decision diagrams
- np complete
- decision problems
- conformant planning
- data mining
- phase transition
- dynamic environments
- np hard
- artificial intelligence
- machine learning