Towards formal verification of IoT protocols: A Review.

Katharina Hofer-Schmitz Branka Stojanovic

Published in: Comput. Networks (2020)

Keyphrases

formal verification
model checking
cryptographic protocols
bounded model checking
model checker
automated verification
management system
cloud computing
symbolic model checking
program slicing
big data
functional verification
state space
temporal logic