Proof-based Verification of Software Defined Networks.
Chen ChenLimin JiaWenchao ZhouBoon Thau LooPublished in: ONS (2014)
Keyphrases
- software systems
- software design
- computer systems
- real time
- formal methods
- software development
- software tools
- asynchronous circuits
- source code
- heterogeneous networks
- hardware design
- design patterns
- network topologies
- cellular networks
- software projects
- software platform
- formal proof
- software maintenance
- personal computer
- software components
- development process
- complex networks
- network structure
- model checking
- genetic algorithm
- data sets