TY  - RPRT
TI  - P4-SpecTec: Integrating a Language Mechanization Framework into the Real-World P4 Specification
AU  - Jaehyun Lee
AU  - Seokhun Jeong
AU  - Sehyuk Ahn
AU  - Haechan Kwon
AU  - Sukyoung Ryu
PY  - 2026
UR  - https://arxiv.org/abs/2608.00639
ID  - 2608.00639
ER  -