@misc{indiciae2cf9f03003d2,
  title = {Uncovering Gaps Between RFC Updates and TCP/IP Implementations: LLM-Facilitated Differential Checks on Intermediate Representations},
  author = {Yifan Wu and Xuewei Feng and Yuxiang Yang and Ke Xu},
  year = {2025},
  url = {https://arxiv.org/abs/2510.24408},
  note = {Source identifier: 2510.24408}
}