We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations

DBLP - CS Bibliography


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Networking and Internet Architecture

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

Abstract: 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 potential for programming bugs to cause network effects. To study OpenFlow switch behavior, we used Alloy to create a software abstraction describing the internal state of a network and its OpenFlow switches. This work is an attempt to model the static and dynamic behaviour a network built using OpenFlow switches.
Subjects: Networking and Internet Architecture (cs.NI); Formal Languages and Automata Theory (cs.FL)
Cite as: arXiv:1604.00060 [cs.NI]
  (or arXiv:1604.00060v1 [cs.NI] for this version)

Submission history

From: Saber Mirzaei [view email]
[v1] Thu, 31 Mar 2016 21:40:52 GMT (205kb,D)

Link back to: arXiv, form interface, contact.