Network Verification: Successes, Challenges, and Opportunities.
Nate FosterPublished in: PLAS@CCS (2018)
Keyphrases
- network structure
- key issues
- network model
- network design
- peer to peer
- model checking
- lessons learned
- artificial intelligence
- technical challenges
- network architecture
- complex networks
- community structure
- wireless sensor networks
- information technology
- website
- data sets
- formal verification
- open issues
- distributed network