AFChecker: Effective model checking for context-aware adaptive applications.
Yepang LiuChang XuS. C. CheungPublished in: J. Syst. Softw. (2013)
Keyphrases
- context aware
- model checking
- contextual information
- temporal logic
- context awareness
- ubiquitous computing
- formal verification
- reachability analysis
- mobile devices
- automated verification
- context aware systems
- temporal properties
- ambient intelligence
- formal specification
- verification method
- symbolic model checking
- computation tree logic
- mobile computing
- ubiquitous learning
- model checker
- bounded model checking
- timed automata
- smart home
- mobile users
- asynchronous circuits
- context aware computing
- concurrent systems
- pspace complete
- high level
- formal methods
- context aware services
- current context
- transition systems
- linear temporal logic
- ubiquitous computing environments
- automated reasoning
- deterministic finite automaton
- context sensitive
- alternating time temporal logic
- context aware mobile