Introduction to Verifying Network Data Planes Nate Foster
Exploring Verifying Network Data Planes Nate Foster reveals several interesting facts. Presented by:
Verifying Network Data Planes Nate Foster Comprehensive Overview
Workshop on Software Correctness and Reliability 2017 P4 is a new language for programming Title: Toward Welcome back we're continuing our discussion of
November 12, 2019.
Summary & Highlights for Verifying Network Data Planes Nate Foster
- Kinetic: Verifiable Dynamic
- Abstract: NetKAT is a formal system that can be used to program, model, and reason about
- Presenter:
- ... Realtime
- Slides are available on the website: netseminar.stanford.edu.
Stay tuned for more updates related to Verifying Network Data Planes Nate Foster.
