VeriFlow: Verifying Network-Wide Invariants in Real Time.

Ahmed Khurshid Xuan Zou Wenxuan Zhou Matthew Caesar Philip Brighten Godfrey

Published in: NSDI (2013)

Keyphrases

real time
low cost
wide range
wireless sensor networks
network model
network structure
complex networks
communication networks
transport protocol
distributed network
real time systems
network design
communication cost
network traffic
quality of service
high speed
multiscale
social networks
neural network