conftrace_

symbolic partitioning

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

policy verification (1) equivalence partitioning (1) explicit-state exploration (1) partial order reduction (1) network configuration (1) network verification (1) model checking (1) formal verification (1)

Papers

Plankton: Scalable network configuration verification through model checking NSDI 2020