Stateflow (developed by MathWorks) is a control logic tool used to model reactive systems via state machines and flow charts within a Simulink model.

Stateflow uses a variant of the finite-state machine notation established by David Harel, enabling the representation of hierarchy, parallelism and history within a state chart.

Stateflow is generally used to specify the discrete controller in the model of a hybrid system where the continuous dynamics (i.e., the behavior of the plant and environment) are specified using Simulink.

[4][5] Specific applications for Stateflow include: A number of MathWorks and third-party tools can be used with Stateflow to validate the design and generate code.

For example, Simulink Verification and Validation, a MathWorks tool, can be used to check for requirements traceability and model coverage analysis.