通过可追踪RFC文档解释验证网络协议解析器

本研究解决了网络协议实现验证中的oracle和可追溯性问题，提出了一种利用大型语言模型（LLMs）的有效解决方案。通过将RFC文档系统性翻译为正式的协议消息规范，我们的方法不仅成功地验证了九种网络协议的实现，并发现了69个错误，还展示了基于自然语言规范的自动化软件验证的潜力。