Anoud Alshnakat, Didrik Lundberg, Roberto Guanciale, Mads Dam, Karl Palmskog. HOL4P4: semantics for a verified data plane. In Marco Chiesa, Shir Landau Feibish, editors, Proceedings of the 5th International Workshop on P4 in Europe, EuroP4 2022, Rome, Italy, 9 December 2022. pages 39-45, ACM, 2022. [doi]
Abstract is missing.