Formal Modeling and Verification of SDN-OpenFlow.

Miyoung Kang Eun-Young Kang Dae-Yon Hwang Beom-Jin Kim Ki-Hyuk Nam Myung-Ki Shin Jin-Young Choi

Published in: ICST (2013)

Keyphrases

formal methods
model checking
formal model
formal analysis
artificial intelligence
real time
information systems
knowledge based systems
modeling framework