Bangalore, India, December 23, 2011 --(PR.com
)-- Reactive Systems, Inc. announced the V2011.2 release of its Reactis® testing and validation package for Simulink®/Stateflow® models. The new version includes many exciting new features including new flexibility for tracking coverage, stepping backwards through C code a statement at a time, and searching through thousands of test steps with the click of a button.
For release details visit http://www.reactive-systems.com/mlists.msp?lid=1&itm=29
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 Lanika Solutions
Lanika is provider of technical computing software & high-end hardware tools for engineers and scientists in industry, government and education. The Company partners with reputed principals developing industry leading solutions that help a wide base of clients throughout the Indian sub-continent solve the toughest engineering problems.
Visit http://www.lanikasolutions.com to learn more.
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.
Visit http://www.reactive-systems.com to learn more.