Propose benchmark and sataset to evaluate LLMs extraction of state machines from network protocols standards, curated the datasets and benchmark on several open and close LLMs.