conftrace_

network configuration analysis

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

control plane verification (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