Octopus: Practical Equivalence Checking of P4 Packet Parsers

Jort van Leenen, Tobias Kappé

P4 is a domain-specific language for programming protocol-independent packet processors, where packet parsers describe how incoming bit-streams are structured into headers and fiel…