conftrace_

symbolic model checking

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

policy verification (1) stateful network (1) network verification (1) first-order logic (1) formal verification (1)

Papers

NetSMC: A Custom Symbolic Model Checker for Stateful Network Verification NSDI 2020