conftrace_

property checking

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

multilayer graph (1) failure verification (1) distributed network (1) verification algorithm (1) control plane (1) network verification (1)

Papers

Tiramisu: Fast Multilayer Network Verification NSDI 2020