RT Conference Proceedings
T1 SDN-Actors: Modeling and Verification of SDN Programs
A1 Albert Albiol, Elvira María
A1 Rubio, Albert
A1 Sammartino, Matteo
A1 Silva, Alexandra
A1 Gómez-Zamalloa Gil, Miguel
AB 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.
SN 978-3-319-95582-7
YR 2018
FD 2018
LK https://hdl.handle.net/20.500.14352/98427
UL https://hdl.handle.net/20.500.14352/98427
LA eng
NO 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
DS Docta Complutense
RD 9 abr 2025