Y. Afek, S. Kutten, and M. Yung, The local detection paradigm and its applications to self-stabilization, Theoretical Computer Science, vol.186, issue.1-2, pp.199-229, 1997.
DOI : 10.1016/S0304-3975(96)00286-1

M. Boutier and J. Chroboczek, Source-sensitive routing, IFIP Networking, 2015.

J. Naga-praveen-katta, D. Rexford, and . Walker, Incremental consistent updates, Proceedings of the Second ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking, HotSDN '13, pp.49-54, 2013.

P. Kazemian, M. Chang, H. Zeng, G. Varghese, N. Mckeown et al., Real Time Network Policy Checking using Header Space Analysis, NSDI, 2013.

P. Kazemian, G. Varghese, and N. Mckeown, Header space analysis: Static checking for networks, Presented as part of the 9th USENIX Symposium on Networked Systems Design and Implementation (NSDI 12), pp.113-126

A. Khurshid, X. Zou, W. Zhou, M. Caesar, and . Godfrey, VeriFlow : Verifying Network-Wide Invariants in Real Time, NSDI, 2013.

A. Korman, S. Kutten, and D. Peleg, Proof labeling schemes, Distributed Computing, pp.215-233, 2010.

V. Kotronis, X. Dimitropoulos, and B. Ager, Outsourcing the routing control logic, Proceedings of the 11th ACM Workshop on Hot Topics in Networks, HotNets-XI, pp.55-60
DOI : 10.1145/2390231.2390241

H. Mai, A. Khurshid, . Godfrey, T. Samuel, and . King, Debugging the Data Plane with Anteater, SIGCOMM, 2011.

C. Monsanto, J. Reich, N. Foster, J. Rexford, and D. Walker, Composing software-defined networks, Proceedings of the 10th USENIX Conference on Networked Systems Design and Implementation, nsdi'13, pp.1-14

P. Pere?íni, M. Kuzniar, N. Vasi´cvasi´c, M. Canini, D. Kosti¯-u et al., CPP: Consistent Packet Processing for Openflow, Proceedings of the Second ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking, HotSDN '13, pp.97-102, 2013.

H. Zeng, S. Zhang, F. Ye, V. Jeyakumar, M. Ju et al., Libra: Divide and conquer to verify forwarding tables in huge networks, Proceedings of the 11th USENIX Conference on Networked Systems Design and Implementation , NSDI'14, pp.87-99, 2014.