A Verification Platform for SDN-Enabled Applications
A network in a laptop: rapid prototyping for software-defined networks