conftrace_

network specification

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

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

Papers

Config2Spec: Mining Network Specifications from Network Configurations NSDI 2020