SymNet: static checking for stateful networks.

Radu Stoenescu Matei Popovici Lorina Negreanu Costin Raiciu

Published in: HotMiddlebox@CoNEXT (2013)

Keyphrases

dynamic routing
consistency checking
social networks
network analysis
network structure
artificial intelligence
heterogeneous networks
data sets
distributed systems
network size
community structure
complex systems
probabilistic model
video sequences
search engine
information retrieval
databases