高可信软件技术教育部重点实验室(北京大学) , Keylaboratory of High Confidence Software Technologies(PKU), Ministry of Education
