参与单位：
课题1,课题2，课题3
2017年5月5日，以第一课题组人员为主，在北京研讨安全攸关软件的建模与验证方法。