conftrace_

forwarding behavior

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

real-time verification (2) data plane (2) network verification (2) memory cost (1) reachability invariant (1) real-time checking (1) packet forwarding (1) access control list (1) network address translation (1) sdn network (1)

Papers

APKeep: Realtime Verification for Real Networks NSDI 2020 Delta-net: Real-time Network Verification Using Atoms NSDI 2017