AFChecker: Effective model checking for context-aware adaptive applications.

Yepang Liu Chang Xu S. C. Cheung

Published 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