TY  - JOUR
AU  - Albert Albiol, Elvira María
AU  - Gómez-Zamalloa Gil, Miguel
AU  - Isabel Márquez, Miguel
AU  - Rubio, Albert
AU  - Sammartino, Matteo
AU  - Silva, Alexandra
PY  - 2021
DO  - 10.1016/j.jlamp.2020.100617
UR  - https://hdl.handle.net/20.500.14352/96464
T2  - Journal of Logical and Algebraic Methods in Programming
AB  - Software-Defined Networking (SDN) is a networking paradigm that has become increasingly popular in the last decade. The unprecedented control over the global behaviour of the network it provides opens a range of new opportunities for formal methods...
LA  - eng
PB  - Elsevier
KW  - Software-Defined Networks
KW  - Verification
KW  - Concurrency
KW  - Actor-based modelling
KW  - Model checking
TI  - Actor-based model checking for Software-Defined Networks
TY  - journal article
VL  - 118
ER  -