conftrace_

explicit-state exploration

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

equivalence partitioning (1) partial order reduction (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