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

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

Browse the full NSDI paper archive.