RSI Logo

Model-Based Testing and Validation with Reactis®

July 3, 2009
Reactive Systems Marks 10 Year Anniversary

Reactis

Reactis Screenshot

Test and validate Simulink® and Stateflow® models automatically. Obtain machine-generated test data from models for code testing. Improve embedded software quality while saving time and money. More...

Reactis for C Plugin

Reactis for C Plugin Screenshot

White-box analyis of S-Functions and Stateflow custom C code. Integrates seamlessly with Reactis. More...