Skip to content

HOL4P4 presented at the P4 Developer Days

As part of the P4 Developer Days series of live educational webinars, Didrik Lundberg presented an overview of the HOL4P4 formalisation and some of the tools that are built on top of it. The presentation was recorded and is now available online. YouTube: https://www.youtube.com/watch?v=ZkOKQ-e97YQ p4.org: https://p4.org/event/p4-developer-days-from-semantics-to-software-building-a-verification-ecosystem-for-p4-using-hol4p4/