Data structures for symbolic multi-valued model-checking.
Marsha ChechikArie GurfinkelBenet DevereuxAlbert Y. C. LaiSteve M. EasterbrookPublished in: Formal Methods Syst. Des. (2006)
Keyphrases
- multi valued
- model checking
- data structure
- temporal logic
- binary decision diagrams
- model checker
- formal verification
- symbolic model checking
- temporal properties
- automated verification
- formal specification
- boolean functions
- bounded model checking
- transition systems
- verification method
- symbolic representation
- formal methods
- finite state machines
- normal form
- epistemic logic
- data types
- computation tree logic
- timed automata
- itemsets
- undirected graph
- database systems
- database