ONE Summit 2024: P4-Based Automated Reasoning


Check out the video and slides by P4 TST member Steffen Smolka, “P4-based Automated Reasoning” which was featured at The Linux Foundation’s One Summit 2024. In his talk he discusses how P4 is now being used as a specification language for network programmable and non-programmable pipelines. He discusses how Google and others have been leveraging such machine-readable, unambiguous, vendor-agnostic specifications of their switches to increase network reliability and development as well as allow the SDN controller to interoperate seamlessly with switches form different vendors.


View Video

Review Slides

Share the Post: