State Diagram Editor is a powerful, versatile tool for designing Finite State Machines. It has an intuitive user interface with drag-and-drop capabilities, visualized execution for simple testing, support for complex models using FSMs in a responder chain, template-based code generation, easy merging of model and code changes, and remote execution of diagrams from the target application.
