SDN-Actors: Modeling and Verification of SDN Programs.

Elvira Albert Miguel Gómez-Zamalloa Albert Rubio Matteo Sammartino Alexandra Silva

Published in: FM (2018)

Keyphrases

process algebra
distributed systems
concurrent systems
real time
clustering algorithm
formal methods
symbolic execution
machine learning
object oriented
software engineering
formal specification
fixpoint
formal verification