Difference between revisions of "Main Page"

From T-VEC Wiki
Jump to: navigation, search
(Other Common Questions)
Line 16: Line 16:
 
|style="color:#000"|15-May-2007: Tool Integration and relationship to [[T-VEC_Tool_Integrations|LDRA]].
 
|style="color:#000"|15-May-2007: Tool Integration and relationship to [[T-VEC_Tool_Integrations|LDRA]].
 
|-
 
|-
|style="color:#000"|15-May-2007: Support for MC/DC [[T-VEC_Vector_Generation_System#Code Coverage|test coverage]].
+
|style="color:#000"|Dec-2007: TTM/T-VEC Model Checking features of Output and Term Table Disjointedness Checking and Mode Machine Race Condition Checking.
 
|-
 
|-
 
|}<!-- Start of right-column -->
 
|}<!-- Start of right-column -->

Revision as of 14:45, 20 January 2008