conftrace_

reachability invariant

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

real-time checking (1) real-time verification (1) packet forwarding (1) sdn network (1) quasi-linear algorithm (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