SDN-Actors: Modeling and Verification of SDN Programs.

Elvira Albert, Miguel Gmez-Zamalloa, Albert Rubio, Matteo Sammartino, Alexandra Silva

Browse the full FM paper archive.