conftrace_

stateful network

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

test scheduling (1) correctness criterion (1) conflict detection (1) scheduling algorithm (1) black-box testing (1) policy verification (1) read-write conflict (1) symbolic model checking (1) network policy (1) network verification (1)

Papers

NetSMC: A Custom Symbolic Model Checker for Stateful Network Verification NSDI 2020 Efficient and Correct Test Scheduling for Ensembles of Network Policies NSDI 2018