Formal modeling and verification of software-defined networks: A survey.

Nitin Shukla Mayank Pandey Shashank Srivastava

Published in: Int. J. Netw. Manag. (2019)

Keyphrases

formal methods
formal analysis
modeling language
software architecture
computer systems
social networks
software development
software systems
formal model
network design
precisely defined
data sets
software package
modeling method
embedded systems
development process
network structure
source code
information systems