Keyphrases
- model checking
- test generation
- temporal logic
- finite state
- formal specification
- formal verification
- test cases
- automated verification
- reachability analysis
- finite state machines
- symbolic model checking
- temporal properties
- model checker
- static analysis
- epistemic logic
- bounded model checking
- transition systems
- verification method
- computation tree logic
- pspace complete
- concurrent systems
- process algebra
- timed automata
- quality assurance
- software testing
- deterministic finite automaton
- image processing
- database
- reactive systems
- linear temporal logic
- satisfiability problem
- markov decision processes
- database systems
- case study
- alternating time temporal logic