四川省系统可信性自动验证工程实验室实验室背景介绍2014年9月，四川省发改委批复西南交通大学（川发改高技【2014】826号）成立四川省系统可信性自动验证工程实验室项目，项目总投资3045万元
是目前西南交通大学唯一一个具有理科综合背景、依托理科学院建设的省级工程实验室
以上内容由大学时代综合整理自互联网，实际情况请以官方资料为准。
