Scaver: A Scalable Verification System for Programmable Network.
Ying YaoZixi CuiLe TianMenglong LiFan PanYuxiang HuPublished in: FMANO@SIGCOMM (2024)
Keyphrases
- network model
- network structure
- communication networks
- massive scale
- computer networks
- complex networks
- low cost
- model checking
- wireless sensor networks
- genetic algorithm
- network architecture
- network management
- network design
- face verification
- network resources
- network topologies
- peer to peer
- network traffic
- web services
- low latency
- distributed network
- database