TY  - CPAPER
AU  - Albert Albiol, Elvira María
AU  - Rubio, Albert
AU  - Sammartino, Matteo
AU  - Silva, Alexandra
AU  - Gómez-Zamalloa Gil, Miguel
PY  - 2018
DO  - 10.1007/978-3-319-95582-7_33
SN  - 978-3-319-95582-7
UR  - https://hdl.handle.net/20.500.14352/98427
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...
LA  - eng
M2  - 550
TI  - SDN-Actors: Modeling and Verification of SDN Programs
TY  - conference paper
ER  -