NetSMC: A Custom Symbolic Model Checker for Stateful Network Verification.

Yifei Yuan Soo-Jin Moon Sahil Uppal Limin Jia Vyas Sekar

Published in: NSDI (2020)

Keyphrases

model checker
model checking
formal verification
formal methods
temporal logic
description language
symbolic model checking
formal specification
test suite
binary decision diagrams
domain specific
set theory
image processing
symbolic representation
ai planning
general purpose
object oriented
image analysis