Consistency in Context-Aware Behavior: a Model Checking Approach.
Davy PreuveneersYolande BerbersPublished in: Intelligent Environments (Workshops) (2012)
Keyphrases
- context aware
- model checking
- temporal logic
- contextual information
- ubiquitous computing
- context awareness
- ambient intelligence
- mobile devices
- formal verification
- temporal properties
- symbolic model checking
- formal specification
- automated verification
- mobile computing
- model checker
- formal methods
- computation tree logic
- transition systems
- timed automata
- ubiquitous learning
- concurrent systems
- context aware systems
- verification method
- current context
- mobile users
- reachability analysis
- context aware ubiquitous learning
- smart home
- asynchronous circuits
- epistemic logic
- bounded model checking
- smart spaces
- artificial intelligence
- context aware services
- pspace complete
- ubiquitous computing environments
- context aware computing
- context aware preferences
- context aware mobile