AI, Data Science & Cloud Certificates from Google, IBM & Meta
PowerBI Data Analyst - Create visualizations and dashboards from scratch
Overview
Google, IBM & Meta Certificates – 40% Off
One plan covers every Professional Certificate on Coursera.
Unlock All Certificates
Learn about leveraging P4 specifications for network pipeline validation in this 27-minute technical talk from Google's Steffen Smolka. Explore how P4, originally a configuration language for programmable network pipelines, has evolved into a powerful specification language used at Google for both programmable and non-programmable network pipelines. Discover techniques for implementing high-coverage automated validation to enhance network reliability and development speed. Understand how vendor-agnostic specifications enable seamless SDN controller interoperability across different switch manufacturers through automated accountability measures.
Syllabus
P4-Based Automated Reasoning - Steffen Smolka, Google
Taught by
LF Networking