# Reactis FAQ

Frequently asked questions about the Reactis product line are answered
here.  The tools support the testing and verification of embedded software
such as that found in automotive, aerospace, and medical applications.
Reactis for Simulink (and supporting plugins) support model-based design
with Simulink.  Reactis for C supports testing C code.  Reactis Tester (a
component of both Reactis for Simulink and Reactis for C) offers automatic
test generation from Simulink models or C code.  Reactis Simulator offers
advanced debug of Simulink models or C code.  Reactis Validator helps 
check if a Simulink model satisfies its requirements.  

## Table of Contents

```{tableofcontents}
```