Stateflow^® è un ambiente per la modellazione e la simulazione della logica basato su macchine a stati e diagrammi di flusso. Stateflow consente di combinare rappresentazioni grafiche e tabulari, compresi diagrammi di transizione di stato, diagrammi di flusso, tabelle di transizione di stato e tabelle della verità, per modellare il modo in cui il sistema reagisce a eventi, condizioni temporali e segnali di stimolo esterni.

Con Stateflow è possibile progettare logica per applicazioni di supervisione, di pianificazione e di gestione dei guasti (fault management) . Stateflow anima in simulazione i diagrammi di stato e può effettuare controlli statici e dinamici sulla coerenza della progettazione. Stateflow misura inoltre la completezza dei test (copertura del modello) molto prima di un implementazione.