Formalization and Verification of the OpenFlow Bundle Mechanism Using CSP.

Huiwen Wang, Huibiao Zhu, Yuan Fei, Lili Xiao

Browse the full SEKE paper archive.