Using Alloy to Formally Model and Reason About an OpenFlow Network Switch

Saber Mirzaei, Sanaz Bahargam, Richard Skowyra +2

Openflow provides a standard interface for separating a network into a data plane and a programmatic control plane. This enables easy network reconfiguration, but introduces the po…