TVS

A Translation Validation tool from Simulink to C, verifying the translation of the Real-Time Workshop code generator.

 

Download TVS

 

In the TVS subdirectory you will find installation instructions.

 

TVS was written by Michael Ryabtsev.

 

Documentation:

You can read our short CAV 2009 paper or the longer thesis.

 

TVS is for academic use only. For any other use please contact Ofer Strichman.