Automated synthesis of reactive controllers for software-defined networks.
Anduo WangSalar MoarrefBoon Thau LooUfuk TopcuAndre ScedrovPublished in: ICNP (2013)
Keyphrases
- control system
- software systems
- semi automated
- software maintenance
- software development
- social networks
- controller synthesis
- fully automated
- source code
- neural network
- computer systems
- test cases
- complex networks
- software engineering
- network analysis
- user interface
- software design
- network design
- program synthesis
- computer aided
- software developers
- web services
- network size
- reactive systems