Some Complexity Results for Stateful Network Verification.
Kalev AlpernasAurojit PandaAlexander RabinovichMooly SagivScott ShenkerSharon ShohamYaron VelnerPublished in: CoRR (2021)
Keyphrases
- network size
- network model
- network structure
- computer networks
- network architecture
- communication networks
- complex networks
- neural network
- distributed network
- artificial intelligence
- model checking
- quality of service
- community structure
- worst case
- communication cost
- digital libraries
- case study
- mobile networks
- network topologies
- data sets
- asynchronous circuits