There is a newer version of the record available.

Published April 28, 2026 | Version v1.3.0
Software Open

Artifact for CAV 2026 tool paper: "Octopus: Practical Equivalence Checking of P4 Packet Parsers"

Authors/Creators

  • 1. ROR icon Leiden University

Files

cav-ae-octopus.zip

Files (361.3 MB)

Name Size
md5:eafdcd3d8a3eb7581236e8080769f01b
361.3 MB Preview Download

Additional details

Funding

Dutch Research Council
Characterizing Expressivity in Operational Semantics (ChEOpS) VI.Veni.232.286

Software

Repository URL
https://github.com/jortvanleenen/Octopus
Programming language
Python , P4
Development Status
Active