conftrace_

link-state protocol

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

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

Papers

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