Difference between revisions of "Main Page"

From T-VEC Wiki
Jump to: navigation, search
Line 18: Line 18:
 
|style="color:#000"|Feb-2008: Enhancements to TTM/T-VEC Model Checking features of Output and Term Table Disjointedness Checking and Mode Machine Race Condition Checking.
 
|style="color:#000"|Feb-2008: Enhancements to TTM/T-VEC Model Checking features of Output and Term Table Disjointedness Checking and Mode Machine Race Condition Checking.
 
|-
 
|-
|style="color:#000"|Feb-2008: [[SL2TVEC Test Driver Issues|Updates in Simulink 2007a provide better integration for automated test driver generation of stateflow]] See also [[LDRA Integration for Model References|LDRA Integration for Model References]
+
|style="color:#000"|Feb-2008: [[SL2TVEC Test Driver Issues|Updates in Simulink 2007a provide better integration for automated test driver generation of stateflow]] See also [[LDRA Integration for Model References|LDRA Integration for Model References]]
 
|-
 
|-
 
|}<!-- Start of right-column -->
 
|}<!-- Start of right-column -->

Revision as of 16:20, 24 February 2008