Constraint Logic Programming for Local and Symbolic Model-Checking.
Ulf NilssonJohan LübckePublished in: Computational Logic (2000)
Keyphrases
- constraint logic programming
- symbolic model checking
- model checking
- partial observability
- constraint solving
- logic programming
- formal verification
- answer set programming
- constraint programming
- symbolic representation
- temporal reasoning
- constraint propagation
- binary decision diagrams
- model checker
- planning domains
- finite domain
- global constraints
- knowledge base
- partially observable
- formal specification
- constraint solver
- constraint satisfaction problems
- computational complexity