Reactive Systems logo
February 18, 2020

Reactis V2012.2 Now Available

Cary, NC (December 19, 2012) -- Reactis V2012.2 is now available. The new version includes an array of bug fixes and enhancements including support for MATLAB R2012b, support for simplified initialization mode, and faster model initialization. A new feature called configuration variable sets allows for dependencies among configuration variables to be specified. For details see the V2012.2 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.