@misc{indiciaeb27cf83725ca,
  title = {Octopus: Practical Equivalence Checking of P4 Packet Parsers},
  author = {Jort van Leenen and Tobias Kappé},
  year = {2026},
  doi = {10.1007/978-3-032-32519-8\_11},
  url = {https://arxiv.org/abs/2608.01982},
  note = {Source identifier: 2608.01982}
}