2012年10月25日，科技部在北京主持召开了“十一五”国家863计划重点项目“高可信软件生产工具与集成环境”的项目验收，实验室是该项目的主要承担单位之一，承担的分课题在2011年底已通过了课题验收，此次顺利通过了项目验收。
