Difference between revisions of "Main Page"

From T-VEC Wiki
Jump to: navigation, search
Line 42: Line 42:
 
</p>
 
</p>
 
|-
 
|-
|style="color:#000"|October-2008: New coverage options name [[Simulink Coverage Options|Force Block Output Propagation]] that extends the ForcePaths/ForceConditions coverage options.  
+
|style="color:#000"|October-2008: New coverage option [[Simulink Coverage Options|Force Block Output Propagation]] that extends the ForcePaths/ForceConditions coverage options.  
 
|-
 
|-
 
|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.

Revision as of 13:32, 20 May 2009