D. Moura, L. Bjørner, and N. , Z3: An Efficient SMT Solver, 2008.
DOI : 10.1007/978-3-540-78800-3_24

R. Jain and S. Paul, Network virtualization and software defined networking for cloud computing: a survey, IEEE Communications Magazine, vol.51, issue.11, 2013.
DOI : 10.1109/MCOM.2013.6658648

W. John and C. Meirosu, Unify d4.1: Initial requirements for the sp-devops concept, universal node capabilities and proposed tools (2014), https

W. John, K. Pentikousis, G. Agapiou, E. Jacob, M. Kind et al., Research Directions in Network Service Chaining, 2013 IEEE SDN for Future Networks and Services (SDN4FNS), pp.4-2013, 2013.
DOI : 10.1109/SDN4FNS.2013.6702549

P. Kazemian, G. Varghese, and N. Mckeown, Header space analysis: Static checking for networks, NSDI 12. USENIX, 2012.

A. Khurshid, X. Zou, W. Zhou, M. Caesar, and P. B. Godfrey, Veriflow: Verifying network-wide invariants in real time, NSDI 13. USENIX, 2013.

C. Meirosu, m4.1: Sp-devops concept evolution and initial plans for prototyping (2014), https

A. Panda, O. Lahav, K. J. Argyraki, M. Sagiv, and S. Shenker, Verifying isolation properties in the presence of middleboxes, p.7687, 2014.

P. Porras, S. Shin, V. Yegneswaran, M. Fong, M. Tyson et al., A security enforcement kernel for OpenFlow networks, Proceedings of the first workshop on Hot topics in software defined networks, HotSDN '12, 2012.
DOI : 10.1145/2342441.2342466

URL : http://faculty.cse.tamu.edu/guofei/paper/FortNOX-HotSDN12.pdf

S. Sharma and B. Coyne, DevOps For Dummies, Limited IBM Edition' book, 2013.

S. Son, S. Shin, V. Yegneswaran, P. A. Porras, and G. Gu, Model checking invariant security properties in OpenFlow, 2013 IEEE International Conference on Communications (ICC), pp.1974-1979, 2013.
DOI : 10.1109/ICC.2013.6654813