ProbNV: probabilistic verification of network control planes.
Nick GiannarakisAlexandra SilvaDavid WalkerPublished in: Proc. ACM Program. Lang. (2021)
Keyphrases
- optimal control
- control system
- peer to peer
- network architecture
- network traffic
- real time
- model checking
- end to end
- complex networks
- switched networks
- probabilistic logic
- network design
- network management
- network model
- posterior probability
- network structure
- response time
- three dimensional
- genetic algorithm
- data sets