An Agentic Flow for Finite State Machine Extraction using Prompt Chaining

Fares Wael, Youssef Maklad, Ali Hamdi +1

Finite-State Machines (FSMs) are critical for modeling the operational logic of network protocols, enabling verification, analysis, and vulnerability discovery. However, existing F…