![](https://p4.org/wp-content/uploads/2024/06/Steffen-at-ONE-Summit-768x402-1.png)
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.