Difference between revisions of "Main Page"

From T-VEC Wiki
Jump to: navigation, search
Line 14: Line 14:
 
|style="color:#000"|19-May-2007: [[Simulink_Tester_for_T-VEC#Test Driver Generation|Test driver generation and customization for Simulink or target environments]].
 
|style="color:#000"|19-May-2007: [[Simulink_Tester_for_T-VEC#Test Driver Generation|Test driver generation and customization for Simulink or target environments]].
 
|-
 
|-
|style="color:#000"|15-May-2007: Tool Integration and relationship to [[T-VEC_Tool_Integrations|LDRA]].
+
|style="color:#000"|Dec-2007: Enhanced support for strings in TTM/VGS.
 
|-
 
|-
 
|style="color:#000"|Dec-2007: TTM/T-VEC Model Checking features of Output and Term Table Disjointedness Checking and Mode Machine Race Condition Checking.
 
|style="color:#000"|Dec-2007: TTM/T-VEC Model Checking features of Output and Term Table Disjointedness Checking and Mode Machine Race Condition Checking.

Revision as of 15:46, 20 January 2008