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

Miyoung Kang, Jin-Young Choi

Browse the full TridentCom paper archive.