TVS
A Translation Validation tool from Simulink to C, verifying the translation of the Real-Time Workshop code generator.
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.