Tiramisu: Fast and General Network Verification.

Anubhavnidhi Abhashkumar Aaron Gember-Jacobson Aditya Akella

Published in: CoRR (2019)

Keyphrases

special case
peer to peer
network model
databases
multiscale
response time
communication networks
data sets
model checking
network traffic
heterogeneous networks
network topologies
network parameters
distributed network