● Hierarchical browsing of models, including Simulink, Stateflow, C Code (included as S-Functions or Stateflow custom C code), and Embedded MATLAB code.
● Tracing signals through the model.
● Text search of the model (including C code and Embedded MATLAB code).
● Browsing Reactis-constructed test suites (.rst files).
● Browsing (but not editing) Reactis Info Files (.rsi files).
Reactis Model Inspector is now available from the Reactis User Pages (http://www.reactive-
About Lanika Solutions
Lanika Solutions is a leading provider of high-performance technical software & hardware tools for engineers and scientists across Industries and academia. 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-



