conftrace_

stepwise refinement

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

software-defined networking (1) network verification (1) network controller (1) bug detection (1) software-defined network (1) formal verification (1)

Papers

Correct by Construction Networks Using Stepwise Refinement NSDI 2017