Difference between revisions of "Main Page"

From T-VEC Wiki
Jump to: navigation, search
Line 16: Line 16:
 
|style="color:#000"|Dec-2007: Enhanced support for strings in TTM/VGS.
 
|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: Added 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:54, 20 January 2008