TY  - RPRT
TI  - Comprehensive Verification of Packet Processing
AU  - Shengyi Wang
AU  - Mengying Pan
AU  - Andrew W. Appel
PY  - 2024
UR  - https://arxiv.org/abs/2412.19908
ID  - 2412.19908
ER  -