fsmc
fsmc IDE Universal FSM Compiler, Optimizer & Formal Simulator
01 Statechart Diagram Editor
MERMAID
Formal Model Diagnostics SOUND
02 Visual Statechart Graph
100%
03 Generated C++ Header
Zero Overhead (0 Deps)

        
04 Interactive Simulator
Active State:
Disconnected
Dispatch Event Trigger:
Execution Log: Clear Log