Verifying Reachability in Networks with Mutable Datapaths.

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

Published in: CoRR (2016)

Keyphrases

social networks
databases
network model
computer vision
heterogeneous networks
network size
real time
biological networks
community detection
network analysis
complex networks
network structure
model checking
complex systems
shortest path
video sequences
database systems
website