Verifying Rule Enforcement in Software Defined Networks With REV.
Peng ZhangHui WuDan ZhangQi LiPublished in: IEEE/ACM Trans. Netw. (2020)
Keyphrases
- software systems
- social networks
- software design
- association rules
- network design
- computer systems
- development process
- information systems
- software development
- model checking
- software architecture
- software maintenance
- hardware design
- software testing
- active databases
- formal methods
- software package
- database
- software tools
- computer networks
- complex networks
- source code
- decision trees
- artificial intelligence
- neural network
- real time