Veriflow: verifying network-wide invariants in real time.

Ahmed Khurshid Wenxuan Zhou Matthew Caesar Brighten Godfrey

Published in: Comput. Commun. Rev. (2012)

Keyphrases

real time
network model
wide range
peer to peer
network structure
control system
social network analysis
data flow
complex networks
cellular phone
network parameters
network size
low latency
network architecture
link prediction
computer networks
model checking
low cost
learning algorithm