A (not) nice way to verify the OpenFlow switch specification: formal modelling of the OpenFlow switch using alloy (0)

by N Ruchansky, D Proserpio
Venue:in Proceedings of the ACM SIGCOMM 2013 conference on SIGCOMM, ser. SIGCOMM ’13