Metha: Network Verifiers Need To Be Correct Too!

Rüdiger Birkner Tobias Brodmann Petar Tsankov Laurent Vanbever Martin T. Vechev

Published in: NSDI (2021)

Keyphrases

communication networks
network structure
network model
neural network
mobile communication
data flow
multi agent
artificial intelligence
data sets
peer to peer
multiscale
genetic algorithm
network architecture
machine learning
network design
queueing networks
network topologies