1. Ryan Beckett , Aarti Gupta , Ratul Mahajan , and David Walker . 2019 . Abstract interpretation of distributed network control planes . Proceedings of the ACM on Programming Languages 4, POPL (2019), 1--27. Ryan Beckett, Aarti Gupta, Ratul Mahajan, and David Walker. 2019. Abstract interpretation of distributed network control planes. Proceedings of the ACM on Programming Languages 4, POPL (2019), 1--27.
2. Karthikeyan Bhargavan , Barry Bond , Antoine Delignat-Lavaud , Cédric Fournet , Chris Hawblitzel , Catalin Hritcu , Samin Ishtiaq , Markulf Kohlweiss , Rustan Leino , Jay Lorch , 2017 . Everest: Towards a verified, drop-in replacement of HTTPS. In 2nd Summit on Advances in Programming Languages (SNAPL 2017). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik . Karthikeyan Bhargavan, Barry Bond, Antoine Delignat-Lavaud, Cédric Fournet, Chris Hawblitzel, Catalin Hritcu, Samin Ishtiaq, Markulf Kohlweiss, Rustan Leino, Jay Lorch, et al. 2017. Everest: Towards a verified, drop-in replacement of HTTPS. In 2nd Summit on Advances in Programming Languages (SNAPL 2017). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik.
3. The P4 Language Consortium. 2022. P416 Language Specification. Retrieved 2022-09-22 from https://p4.org/p4-spec/docs/P4-16-v-1.2.3.html The P4 Language Consortium. 2022. P4 16 Language Specification. Retrieved 2022-09-22 from https://p4.org/p4-spec/docs/P4-16-v-1.2.3.html
4. The HOL4P4 contributors. 2022. HOL4P4. Retrieved 2022-10-26 from https://github.com/kth-step/hol4p4 The HOL4P4 contributors. 2022. HOL4P4. Retrieved 2022-10-26 from https://github.com/kth-step/hol4p4
5. Petr4: formal foundations for p4 data planes