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.



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.