Login / Signup
Formal Verification of Context Aware Systems.
Fabio Alberto Schreiber
Maria Elena Valcher
Published in:
SEBD (2020)
Keyphrases
</>
formal verification
context aware systems
context aware
model checking
context awareness
model checker
ubiquitous computing
bounded model checking
context aware services
automated verification
symbolic model checking
ambient intelligence
temporal logic
formal specification
user context