Reactis® processes models in the popular Simulink/Stateflow modeling notation of The MathWorks. Reactis supports a fairly comprehensive subset of the discrete-time Simulink blocks and almost all of Stateflow. When using the Reactis for C Plugin, you can also simulate and test the C code found in S-Functions or Stateflow custom code. Please see the Reactis User's Guide for a complete description of the subset of Simulink/Stateflow that is supported.