RFCLLM: Evaluating LLMs' Reasoning Ability of Network Protocol State Machines

Anqi Chen, Dan Goldwasser, Cristina Nita-Rotaru

Mapping textual specifications into formal representations is essential for ensuring the correctness of protocol designs and implementations. LLM-generated mappings, used for netwo…