美国T-VEC公司成立于1996年，致力于高可靠性软件的质量保证技术，通过应用T-VEC公司的产品和服务，能大幅度降低高可靠性软件的开发和维护成本。

T-VEC的核心技术早在八十年代初由一个大型的航空航天公司为了降低软件验证成本而开发。1990年，采用T-VEC技术开发的高苛刻性飞行器系统通过了FAA极为严格的DO-178B验证。从那以后，T-VEC工具在高苛刻性领域的到了广泛的认可和使用，其客户遍布航空航天、保密通信、能源控制、自动化生产、军队指令和控制系统、以及交通等领域。