Yifei Yuan, Soo-Jin Moon, Sahil Uppal, Limin Jia, Vyas Sekar. NetSMC: A Custom Symbolic Model Checker for Stateful Network Verification. In Ranjita Bhagwan, George Porter, editors, 17th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2020, Santa Clara, CA, USA, February 25-27, 2020. pages 181-200, USENIX Association, 2020. [doi]
Abstract is missing.