alysis java virtual machine program slicing 52-53 overview 18-20 symbolic execution layer 14 spectrum virtualization network function virtualization (see stand-alone virtual machine network function virtualization stateful forwarding graph (SFG), for SFC (NFV)) verification 134, 135 network virtualization 9, 22 switch-based SDN virtualization 29-31 host-based 31-32 switch connectivity, controller overlay networks deploying multiple controllers 91-94 switch-based SDN 29-31 fat-tree network protection 89-90 virtual private networks 24-27 Internet2 network protection 89-90 virtual sharing networks 27-29 link and node failures techniques 20-21 routing 89-91 wireless virtualization symbolic execution 53 flow-based interference 35 isolation 35 ternary content addressable memory latency 36 (TCAM) 4, 78 network management 3G PC control plane entities 138,139 overprovisioning Index protocol-based 34 virtual machine monitor (VMM) 20-21 spectrum-based virtual network embedding (VNE) WLAN card 34 virtual private networks (VPNs) virtualized customer premises high-level architecture equipment (vCPE) IP-based 26 advantages 141-142 layer 2 VPNs design 144-146 layer 3 VPNs 27-28 efficiency 143 leased lines elasticity 143 link layer 25-26 flexibility multiprotocol label switching (MPLS) network underlay awareness openness 143 wide area network (WAN) reliability 143 virtual sharing networks (VSNs) requirements 142-143 broadcast domain resource defragmentation virtual LANs 29 Virtual Tunnel End Point (VTEP) scalability Virtual WiFi SLA verification VMware 9 virtualized infrastructure manager VNF see virtualized network function virtualized network function (VNF) (VNF) forwarding graphs voice over IP (VoIP) management 41 manager 46-47 NFV characterization 47-48 placement problem wide area network (WAN) constraints 64 25, 72 decision variables wireless NIC mixed integer programming wireless virtualization model objectives flow-based model parameters interference solution procedure 64-65 isolation 35 virtual network embedding latency 3