NetSMC: A Custom Symbolic Model Checker for Stateful Network Verification. - Yifei Yuan; Soo-Jin Moon; Sahil Uppal; Limin Jia 001; Vyas Sekar (NSDI, 2020)