Loading…
Back To Schedule
Tuesday, February 25 • 1:50pm - 2:10pm
NetSMC: A Custom Symbolic Model Checker for Stateful Network Verification

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!

Tweet Share
Yifei Yuan, Intentionet; Soo-Jin Moon, Sahil Uppal, Limin Jia, and Vyas Sekar, Carnegie Mellon University
Tuesday February 25, 2020 1:50pm - 2:10pm PST
NSDI '20: Santa Clara Ballroom
  NSDI '20   Paper Presentation