New Directions for Network Verification.
Aurojit PandaKaterina J. ArgyrakiMooly SagivMichael SchapiraScott ShenkerPublished in: SNAPL (2015)
Keyphrases
- communication networks
- databases
- network architecture
- network model
- network topologies
- network design
- network traffic
- network structure
- model checking
- peer to peer
- neural network
- computer networks
- wireless sensor networks
- decision trees
- information retrieval
- data flow
- heterogeneous networks
- network resources
- mobile communication
- data sets