Implementing a Multi-valued Symbolic Model Checker.
Marsha ChechikBenet DevereuxSteve M. EasterbrookPublished in: TACAS (2001)
Keyphrases
- multi valued
- model checker
- model checking
- formal verification
- binary decision diagrams
- formal methods
- temporal logic
- description language
- boolean functions
- formal specification
- ai planning
- test suite
- specification language
- set theory
- symbolic representation
- databases
- normal form
- artificial intelligence
- database systems