Some Complexity Results for Stateful Network Verification.
Yaron VelnerKalev AlpernasAurojit PandaAlexander RabinovichMooly SagivScott ShenkerSharon ShohamPublished in: TACAS (2016)
Keyphrases
- network size
- computer networks
- decision problems
- communication cost
- computational cost
- network architecture
- network model
- computational complexity
- network traffic
- data sets
- network structure
- worst case
- complex networks
- model checking
- peer to peer
- website
- wireless sensor networks
- data flow
- heterogeneous networks
- signature verification
- learning algorithm