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]]
+
|style="color:#000"|Feb-2008: [[SL2TVEC Test Driver Issues|Updates in Simulink 2007a provide better integration for automated test driver generation of stateflow - also see how to use test drivers with LDRA]]
 
|-
 
|-
 
|}<!-- Start of right-column -->
 
|}<!-- Start of right-column -->

Revision as of 14:43, 24 February 2008