Use Cases for Context Aware Model-Checking.
Amine RajiPhilippe DhaussyPublished in: MoDELS (Workshops) (2011)
Keyphrases
- context aware
- model checking
- temporal logic
- contextual information
- context awareness
- formal verification
- symbolic model checking
- temporal properties
- mobile devices
- ubiquitous computing
- formal specification
- automated verification
- model checker
- ubiquitous learning
- reachability analysis
- formal methods
- mobile users
- smart home
- epistemic logic
- verification method
- context aware systems
- context aware ubiquitous learning
- computation tree logic
- ambient intelligence
- transition systems
- timed automata
- mobile computing
- current context
- pspace complete
- reactive systems
- planning domains
- deterministic finite automaton
- ai planning
- concurrent systems
- reinforcement learning
- binary decision diagrams
- context aware computing
- ubiquitous computing environments