conftrace_

partial order reduction

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

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

Papers

Plankton: Scalable network configuration verification through model checking NSDI 2020