C. Baier and J. P. Katoen, Principles of Model Checking, 2008.

P. Berde, M. Gerola, J. Hart, Y. Higuchi, M. Kobayashi et al., Onos: towards an open, distributed sdn os, Proceedings of the third workshop on Hot topics in software defined networking, pp.1-6, 2014.

A. El-hassany, J. Miserez, P. Bielik, L. Vanbever, and M. T. Vechev, Sdnracer: concurrency analysis for software-defined networks, Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2016, pp.402-415, 2016.

O. N. Foundation, Openflow switch specification version 1, 2013.

G. Holzmann, The Spin model checker: primer and reference manual, 2003.

M. Huth and M. Ryan, Logic in Computer Science: Modelling and reasoning about systems, 2004.

A. Koshibe, B. O'connor, R. Milkey, T. Vachuska, J. Hall et al., ONOS -Appendix B: REST API, 2014.

C. M. Kozierok, The TCP/IP guide: a comprehensive, illustrated Internet protocols reference, 2005.

J. Mcclurg, H. Hojjat, and P. Cerný, Synchronization synthesis for network programs, Computer Aided Verification -29th International Conference, pp.301-321, 2017.

N. Mckeown, T. Anderson, H. Balakrishnan, G. Parulkar, L. Peterson et al., Openflow: enabling innovation in campus networks, ACM SIG-COMM Computer Communication Review, vol.38, issue.2, pp.69-74, 2008.

J. Miserez, P. Bielik, A. El-hassany, L. Vanbever, and M. T. Vechev, Sdnracer: detecting concurrency violations in software-defined networks, Proceedings of the 1st ACM SIGCOMM Symposium on Software Defined Networking Research, SOSR '15, vol.22, pp.1-22, 2015.

R. L. De-oliveira, C. M. Schweitzer, A. A. Shinoda, and L. R. Prete, Using mininet for emulation and prototyping software-defined networks, 2014 IEEE Colombian Conference on Communications and Computing (COLCOM), pp.1-6, 2014.

,

C. Scott, A. Wundsam, B. Raghavan, A. Panda, A. Or et al., Troubleshooting blackbox sdn control software with minimal causal sequences, Proceeding of the ACM SIGCOMM 2014 Conference, 2014.

A. Shalimov, D. Zuikov, D. Zimarina, V. Pashkov, and R. Smeliansky, Advanced study of sdn/openflow controllers. In: 9th central & eastern european software engineering conference in russia, 2013.

G. Strang, Introduction to linear algebra, vol.3, 1993.

X. S. Sun, A. Agarwal, and T. S. Ng, Controlling race conditions in openflow to accelerate application verification and packet forwarding, IEEE Trans. Network and Service Management, vol.12, issue.2, pp.263-277, 2015.

E. Vinarskii, Perl scripts, promela descriptions and counterexamples for sdn race detection, 2019.

L. Wall, T. Christiansen, and J. Orwant, Programming perl, 2000.

F. William, A Introduction to Probability Theory and Its Applications, 1971.

Z. Zhang, D. Yuan, and H. Hu, Multi-layer modeling of openflow based on efsm, 4th International Conference on Machinery, Materials and Information Technology Applications, pp.209-214, 2016.