Cary, NC (September 8, 2011) -- Reactive Systems, Inc. will exhibit at the Embedded Systems Conference Boston to be held on September 27-28, 2011 at the Hynes Convention Center.
The company will demonstrate its Reactis product line that helps engineers improve the quality of embedded software while reducing development costs. Reactis for Simulink supports the validation of Simulink models and automatic test case generation to check for conformance of code to a model. Reactis for C helps uncover runtime errors in C code, detect violations of functional requirements, and understand, diagnose, and fix bugs.
About Reactive Systems. Reactive Systems, founded in
1999, is a software testing and validation company with offices
in Cary, NC and Nagoya, Japan. For more information about
Reactive Systems visit www.reactive-systems.com or call