chi-Chek: A Multi-valued Model-Checker.
Marsha ChechikArie GurfinkelBenet DevereuxPublished in: CAV (2002)
Keyphrases
- multi valued
- model checker
- model checking
- formal verification
- formal methods
- description language
- temporal logic
- formal specification
- test suite
- set theory
- boolean functions
- normal form
- ai planning
- web services
- planning domains
- artificial intelligence
- specification language
- binary decision diagrams
- velocity field
- belief revision
- np hard
- computer vision