Design-time formal verification for smart environments: an exploratory perspective

@article{Corno2014DesigntimeFV,
  title={Design-time formal verification for smart environments: an exploratory perspective},
  author={Fulvio Corno and Muhammad Sanaullah},
  journal={J. Ambient Intelligence and Humanized Computing},
  year={2014},
  volume={5},
  pages={581-599}
}
Smart Environments (SmE) are richly integrated with multiple heterogeneous devices; they perform the operations in intelligent manner by considering the context and actions/behaviors of the users. Their major objective is to enable the environment to provide ease and comfort to the users. The reliance on these systems demands consistent behavior. The versatility of devices, user behavior and intricacy of communication complicate the modeling and verification of SmE’s reliable behavior. Of the… CONTINUE READING