2026-06-28T15:00:35Zhttps://docta.ucm.es/rest/oai/request

oai:docta.ucm.es:20.500.14352/984272025-03-18T14:42:13Zcom_20.500.14352_14col_20.500.14352_15

SDN-Actors: Modeling and Verification of SDN Programs Albert Albiol, Elvira María Rubio, Albert Sammartino, Matteo Silva, Alexandra Gómez-Zamalloa Gil, Miguel Software-Defined Networking (SDN) is a recent networking paradigm that has become increasingly popular in the last decade. It gives unprecedented control over the global behavior of the network and provides a new opportunity for formal methods. Much work has appeared in the last few years on providing bridges between SDN and verification. This paper advances this research line and provides a link between SDN and traditional work on formal methods for verification of distributed software—actor-based modelling. We show how SDN programs can be seamlessly modelled using actors, and thus existing advanced model checking techniques developed for actors can be directly applied to verify a range of properties of SDN networks, including consistency of flow tables, violation of safety policies, and forwarding loops. 2024-02-02T16:09:56Z 2024-02-02T16:09:56Z 2018 conference paper Albert, E., Gómez-Zamalloa, M., Rubio, A., Sammartino, M., Silva, A. (2018). SDN-Actors: Modeling and Verification of SDN Programs. In: Havelund, K., Peleska, J., Roscoe, B., de Vink, E. (eds) Formal Methods. FM 2018. Lecture Notes in Computer Science(), vol 10951. Springer, Cham. https://doi.org/10.1007/978-3-319-95582-7_33 978-3-319-95582-7 10.1007/978-3-319-95582-7_33 https://hdl.handle.net/20.500.14352/98427 https://doi.org/10.1007/978-3-319-95582-7_33 eng restricted access