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

Fulvio Corno Muhammad Sanaullah

Published in: J. Ambient Intell. Humaniz. Comput. (2014)

Keyphrases

formal verification
smart environments
ambient intelligence
model checking
context aware
ubiquitous systems
computational intelligence
knowledge based systems
software architecture
health monitoring
symbolic model checking
automated verification
functional verification