A Survey and a Layered Taxonomy of Software-Defined Networking
Verification of Computer Switching Networks: An Overview