HOL4P4: semantics for a verified data plane.

Anoud Alshnakat, Didrik Lundberg, Roberto Guanciale, Mads Dam, Karl Palmskog

Browse the full CoNEXT paper archive.