Reactis V2025.2 adds support for MATLAB Projects and R2025b, tracks coverage inside Stateflow state action code, and introduces a comments feature. Reactis for C V2025 simplifies AUTOSAR testing workflows.
reactive-systems.com/c64

The new Open in Simulink feature of Reactis V2025 supports the following workflow:
1) Find a bug in your model with Reactis Tester
2) Diagnose the issue with Reactis Simulator
3) Open your model in Simulink to fix the issue

Reactis V2025: run-time error assertions in Stateflow, open the model currently loaded in Reactis in Simulink and highlight a specified item, generalized linking to natural language requirements, improved test coverage, support for Simulink R2025a. reactive-systems.com/c63

Reactis for Simulink V2024.2 is now available. Reactis supports the test and verification of Simulink models as part of a model-based design process for developing embedded software. V2024.2 offers better MC/DC coverage, faster model import, and better model drawing. reactis.net/c62