Reactive Systems logo
September 19, 2020

Reactis V2012 Released

Cary, NC (June 14, 2012) -- Reactis V2012 is now available. The new version includes an array of updates and new features including faster import of large models, enhanced bus support, initial support for Embedded MATLAB, and support for MATLAB R2012a. For details see the V2012 release announcement.

About Reactis. Reactis provides automated test-generation and model-validation capabilities for Simulink/Stateflow models of control software. The tool can be used to test for conformance between a model and implementation code, and it can also be employed to validate model behavior. Reactis is used at dozens of companies worldwide in the automotive, aerospace, and heavy equipment industries.

About Reactive Systems. Reactive Systems, founded in 1999, is a privately held company with offices in Cary, NC and Nagoya, Japan. The company offers tools and services to help improve software quality while reducing development costs. For more information visit www.reactive-systems.com or call +1-919-324-3507.