年12月10日，教育部科技司组织专家对北京大学高可信软件技术教育部重点实验室建设项目进行了验收，专家组由来自国内其他高校和中科院研究所的7位专家组成，中国科学院软件所周巢尘院士任专家组组长。验收会由教育部科技司基础李渝红处长主持，北京大学常务副校长林建华、信息学院杨芙清院士、科学研究部部长周辉、副部长吴朝东及基地建设办公室成员参加了验收会。

实验室主任梅宏教授汇报了过去两年的建设工作进展，随后专家组现场考察了实验室，阅读了实验室有关资料，并与实验室骨干成员开展了进一步的交流。专家组对实验室取得的成绩予以了充分肯定，认为在过去两年中，实验室在进一步凝炼研究目标，突出重点以及人才引进方面的工作卓有成效；承担了若干国家重大科研项目，取得了一系列高水平的研究成果，并已形成了一支极具潜力的中青年学术骨干队伍。

专家组经过讨论，一致同意该实验室的建设项目通过验收，并鼓励该实验室以创建国家重点实验室为目标，继续努力提高实验室建设水平，进一步做好高层次人才的引进工作；建议北京大学继续支持实验室的建设。