Loading…
Back To Schedule
Thursday, February 27 • 1:50pm - 2:10pm
Plankton: Scalable network configuration verification through model checking

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

Tweet Share
Santhosh Prabhu, Kuan Yen Chou, Ali Kheradmand, Brighten Godfrey, and Matthew Caesar, University of Illinois at Urbana Champaign
Thursday February 27, 2020 1:50pm - 2:10pm PST
NSDI '20: Santa Clara Ballroom
  NSDI '20   Paper Presentation