Symbolic Model Checking and Constraint Logic Programming: a Cross-Fertilization.
Marc-Michel CorsiniAntoine RauzyPublished in: ESOP (1994)
Keyphrases
- constraint logic programming
- symbolic model checking
- model checking
- constraint solving
- formal verification
- partial observability
- answer set programming
- logic programming
- symbolic representation
- constraint programming
- binary decision diagrams
- temporal logic
- model checker
- constraint propagation
- global constraints
- constraint solver
- high level
- planning domains
- data mining
- logic programs
- special case