Verifying Reachability in Networks with Mutable Datapaths.

Aurojit Panda Ori Lahav Katerina J. Argyraki Mooly Sagiv Scott Shenker

Published in: NSDI (2017)

Keyphrases

social networks
network structure
complex networks
network analysis
artificial intelligence
data mining
e learning
hidden markov models
computer networks
network size
network topologies
heterogeneous networks
network design
social network analysis
complex systems
bayesian networks
computer vision