Scalable Verification of Networks With Packet Transformers Using Atomic Predicates.

Hongkun Yang Simon S. Lam

Published in: IEEE/ACM Trans. Netw. (2017)

Keyphrases

differentiated services
internet traffic
end to end
network design
switched networks
social networks
model checking
network structure
packet forwarding
neural network
quality of service
complex networks
admission control
traffic engineering
internet protocol
bandwidth allocation