• TTM and MetaEdit+, Modelica Integrated using Semantic Web Technologies
• Capers Jones Reports that T-VEC Method Finds More Software Defect
• The First Aircraft Institute of AVIC Chooses T-VEC for Model-Based Testing
• MetaEdit+ DSM and T-VEC integration
• T-VEC Project at Lockheed Martin Published in STSC CrossTalk
• Dr. Blackburn Presents Model-Based Tool Comparison at S5 Symposium
• Support for Arrays in TTM
• LDRA Integration Support
• T-VEC Wiki
• Vision Microsystems distributes T-VEC in China
• Fujisetstubi distributes T-VEC in Japan
• T-VEC Completes Model for Government Smart Card Interoperability Specification

• Archives

See T-VEC at the Workshop on Industrial uses of Formal Techniques

T-VEC will present "Requirements for Industrial-Strength Formal Method Tools" at the Workshop on Industrial uses of Formal Techniques