A Symbolic Model Checker for tccp Programs.
María AlpuenteMoreno FalaschiAlicia VillanuevaPublished in: RISE (2004)
Keyphrases
- model checker
- model checking
- formal verification
- formal methods
- temporal logic
- binary decision diagrams
- description language
- symbolic model checking
- test suite
- formal specification
- ai planning
- specification language
- high level
- symbolic representation
- set theory
- artificial intelligence
- object oriented
- relational databases