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...