Model Checking with Multi-Valued Temporal Logics.
Marsha ChechikSteve M. EasterbrookBenet DevereuxPublished in: ISMVL (2001)
Keyphrases
- multi valued
- temporal logic
- model checking
- modal logic
- formal specification
- computation tree logic
- formal verification
- temporal properties
- verification method
- model checker
- transition systems
- satisfiability problem
- finite state
- mazurkiewicz traces
- linear temporal logic
- concurrent systems
- boolean functions
- bounded model checking
- epistemic logic
- reactive systems
- formal methods
- normal form
- planning domains
- velocity field
- database design
- distributed systems