home - Lanika
Formal Methods & Industry
Description: Reactis supports test and verification of Simulink models and C code with test generation, coverage tracking, advanced debug, and runtime error checks.
software (35355) testing (2476) coverage (393) debug (75) simulink (35) model-based design (5) runtime errors (2) reactis (2)
Reactis plays a number of important roles in a model-based design process. It gives you a set of tools to test, verify, and truly understand your model's behavior and can help you check whether the source code that will ultimately be deployed conforms to the behavior of your model. More on testing and validation of Simulink models.
home - Lanika
Formal Methods & Industry