Scaling network verification using symmetry and surgery.

Gordon D. Plotkin Nikolaj Bjørner Nuno P. Lopes Andrey Rybalchenko George Varghese

Published in: POPL (2016)

Keyphrases

computer assisted
network model
computer networks
network structure
network traffic
wireless sensor networks
complex networks
communication networks
data sets
neural network
mr images
network architecture
network topologies
network size
distributed network