conftrace_

quasi-linear algorithm

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

sdn network (1) packet forwarding (1) real-time verification (1) reachability invariant (1) real-time checking (1) forwarding behavior (1) data plane (1) software-defined networking (1) network verification (1)

Papers

Delta-net: Real-time Network Verification Using Atoms NSDI 2017