Published June 1, 2026
| Version v1.3.1
Software
Open
Artifact for CAV 2026 tool paper: "Octopus: Practical Equivalence Checking of P4 Packet Parsers"
Files
cav-ae-octopus.zip
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