Model-Based Testing and Validation with Reactis®

Reactis. Model-based testing, debugging, and validation for Simulink/Stateflow models. Includes Reactis Tester, Reactis Simulator, and Reactis Validator. Requires MATLAB, Simulink, and Stateflow offered by The MathWorks. More...

Reactis for C Plugin. White-box analysis of S-Functions and Stateflow custom C code. Integrates seamlessly with (and requires) Reactis. More...