A State-of-the-Art Survey on Formal Verification of the Internet of Things Applications.

Alireza Souri Monire Norouzi

Published in: J. Serv. Sci. Res. (2019)

Keyphrases

formal verification
model checking
model checker
bounded model checking
automated verification
symbolic model checking
data collection
physical world
temporal logic
mobile devices
key technologies
program slicing
orders of magnitude
ubiquitous computing
formal specification
literature review