Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

P4-Based Automated Reasoning for Network Pipeline Validation

LF Networking via YouTube

Overview

Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
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

Reviews

Start your review of P4-Based Automated Reasoning for Network Pipeline Validation

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.