Verificare: a platform for composable verification with application to SDN-Enabled systems
Software-Defined Networking (SDN) has become increasing prevalent in both the academic and industrial communities. A new class of system built on SDNs, which we refer to as SDN-Enabled, provide programmatic interfaces between the SDN controller and the larger distributed system. Existing tools...
| Main Author: | |
|---|---|
| Language: | en_US |
| Published: |
2016
|
| Subjects: | |
| Online Access: | https://hdl.handle.net/2144/15116 |