Falls Church, VA (October 26, 2007) -- Reactive Systems, Inc. (RSI) now offers discounts of up to ninety percent off the list price of Reactis and the upcoming Reactis for C Plugin to students and faculty for non-commercial use at accredited colleges and universities. Academic licenses also include course materials that help instructors present the model-based testing and validation technology offered by Reactis.
About Reactis. RSI's Reactis tool 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 over 40 major companies worldwide in the automotive and aerospace industries. Reactis for C Plugin (available October 31, 2007) integrates seamlessly with Reactis to offer white-box analysis of S-Functions and Stateflow Custom C code.
About Reactive Systems. Reactive Systems, founded in 1999,
is a privately held company based in the Washington DC suburb of
Falls Church, VA. For more information about RSI visit www.reactive-systems.com
or call +1-703-534-6458.