A Model-Checking-Based Framework for Analyzing Ambient Assisted Living Solutions.

Ashalatha Kunnappilly Raluca Marinescu Cristina Seceleanu

Published in: Sensors (2019)

Keyphrases

model checking
temporal logic
artifact centric
formal verification
ambient assisted living
temporal properties
abstract interpretation
concurrent systems
ambient intelligence
smart home
symbolic model checking
bounded model checking
automated verification
computation tree logic