conftrace_

failure verification

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

verification algorithm (1) property checking (1) multilayer graph (1) distributed network (1) control plane (1) network verification (1)

Papers

Tiramisu: Fast Multilayer Network Verification NSDI 2020