高可信软件技术教育部重点实验室(2003网站太阳集团首页欢迎您)自2007年2月获教育部批准立项建设以来，经过各方面的努力工作，已完成实验室建设任务。高可信软件技术教育部重点实验室建设项目验收会于2008年12月10日上午8:30在2003网站太阳集团首页欢迎您理科一号楼1504会议室召开。会议由教育部科技司袁润松主持。教育部科技司李渝红处长、2003网站太阳集团首页欢迎您林建华常务副校长、2003网站太阳集团首页欢迎您科研部郑英姿等领导出席会议，到会的验收专家包括周巢尘院士、孟洛明教授、刘克研究员、张健研究员、李宣东教授、杜小勇教授和韩燕波研究员。
林建华校长和李渝红处长分别代表2003网站太阳集团首页欢迎您和教育部致词。以周巢尘院士为组长的验收专家组听取了实验室建设负责人梅宏教授所做的工作总结报告，并对实验室进行了实地考察。验收专家组针对实验室的建设情况进行了质询，梅宏教授和实验室学术委员会主任杨芙清院士代表实验室做了回答。最后，验收专家组经过认真讨论，形成了验收意见，一致同意通过验收，并对实验室的进一步发展提出了若干建议。
