Formal Modeling and Verification of Software-Defined Networking with Multiple Controllers.

Miyoung Kang Jin-Young Choi

Published in: TRIDENTCOM (2019)

Keyphrases

formal methods
formal analysis
requirements specification
modeling language
computer networking
reactive systems
software systems
model checking
data sets
computer systems
software development
source code
learning algorithm
formal specification
face verification
business processes
dynamic aspects