LDRA为F35联合攻击战机制定软件测试标准

LDRA Testbed   成功应用于“神舟”飞船项目

通过T-VEC发现火星着陆器的缺陷(洛克希德.马丁公司)

通过T-VEC发现需求中隐藏的缺陷(罗克韦尔.柯林斯公司)