TY  - RPRT
TI  - Using Alloy to Formally Model and Reason About an OpenFlow Network Switch
AU  - Saber Mirzaei
AU  - Sanaz Bahargam
AU  - Richard Skowyra
AU  - Assaf Kfoury
AU  - Azer Bestavros
PY  - 2016
UR  - https://arxiv.org/abs/1604.00060
ID  - 1604.00060
ER  -