Towards Model Checking Real-World Software-Defined Networks (version with appendix)

Vasileios Klimis, George Parisis, Bernhard Reus

In software-defined networks (SDN), a controller program is in charge of deploying diverse network functionality across a large number of switches, but this comes at a great risk:…