Skip to content
conftrace_

network configuration synthesis

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

bgp routing (1) ospf protocol (1) routing policy (1) network configuration (1) configuration synthesis (1) counterexample guided inductive synthesis (1) link-state protocol (1)

Papers

NetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion NSDI 2018