Reactive Systems
@reactive-systems.com
Company that develops the Reactis testing and verification tools for Simulink models and C code.
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
June 4, 2025 at 6:28 PM
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
November 22, 2024 at 10:48 PM
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