# Conclusions

In this paper we have discussed how to use Reactis to test and validate
TargetLink models. We have also covered the steps necessary to bring
TargetLink-generated C code into the Reactis for C environment for detailed
testing, validation and analysis of the C code.

TargetLink is available now from dSPACE GmbH. Please see
[www.dspaceinc.com](https://www.dspace.com/en/inc/home.cfm) for
details.  

For Reactis and Reactis for C you may 
[download a Reactis trial](https://reactive-systems.com/login.msp) or
[contact Reactis sales](https://reactive-systems.com/contact.msp).




</br></br>
```{image} ../images/rsi-logo-white-fg.webp
:alt: Reactive Systems logo
:class: bg-secondary mb-3
:width: 5px
:align: right
```