conftrace_

incremental verification

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

multilayer network (1) pushdown system (1) data plane (1) network verification (1)

Papers

Katra: Realtime Verification for Multilayer Networks NSDI 2022