conftrace_

control plane verification

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

network configuration analysis (1) data plane analysis (1) network specification (1) configuration mining (1) policy synthesis (1) specification mining (1) data plane (1) control plane (1)

Papers

Config2Spec: Mining Network Specifications from Network Configurations NSDI 2020