Towards rule enforcement verification for software defined networks.
Peng ZhangPublished in: INFOCOM (2017)
Keyphrases
- software systems
- computer systems
- software architecture
- software package
- user interface
- social networks
- software development
- software tools
- model checking
- software piracy
- formal verification
- formal methods
- software developers
- complex networks
- access control
- source code
- neural network
- network structure
- test cases
- distributed systems
- software design
- software testing
- data mining
- asynchronous circuits
- data sets