NetSMC: A Custom Symbolic Model Checker for Stateful Network Verification

Submitted by jasmine@usenix.org on December 19, 2019 - 11:46 am
TitleNetSMC: A Custom Symbolic Model Checker for Stateful Network Verification
Publication TypeConference Paper
Year of Publication2020
AuthorsYuan Y, Moon S-J, Uppal S, Jia L, Sekar V
Conference Name17th USENIX Symposium on Networked Systems Design and Implementation (NSDI 20)
Date Published02/2020
PublisherUSENIX Association
Conference LocationSanta Clara, CA
ISBN Number978-1-939133-13-7
URLhttps://www.usenix.org/conference/nsdi20/presentation/yuan