AI RESEARCH
Designing FSMs Specifications from Requirements with GPT 4.0
arXiv CS.AI
•
ArXi:2603.29140v1 Announce Type: cross Finite state machines (FSM) are executable formal specifications of reactive systems. These machines are designed based on systems' requirements. The requirements are often recorded in textual documents written in natural languages. FSMs play a crucial role in different phases of the model-driven system engineering (MDE). For example, they serve to automate testing activities.