系统可信性自动验证国家地方联合工程实验室是国家发改委于2016年批准建设的国家级联合创新平台。依托西南交通大学数学学院、计算机与人工智能学院、机械工程学院、电气工程院、信息技术与科学学院和合作单位的科研技术力量，实验室积极开展国际科研合作，努力开展与国内知名企业及科研平台开展科研协作与协同创新，努力建设成为国家系统可信性自动验证技术研发与成果转化基地、国际国内交流与合作平台和人才培养基地。

实验室在基于逻辑的自动推理、智能信息处理、形式化验证、人工智能、智慧体育与体质健康等领域及相关技术研发与应用方面具有丰富的经验，并围绕国民经济发展的重大需求，通过自主创新与产学研结合，在基于逻辑的自动推理、智能信息处理、形式化验证、高端机电装备安全监测和运营维护评定、通信密码传输控制、校园体育综合管理、人体体质测试自动化等领域及相关技术研发与应用方面积累了丰富的研发经验，研发出了一系列实用产品，取得了一批重要应用成果。

实验室及其合作伙伴获得了国家实验室（CNAS-CL01）、国家计量认证证书（MA）、国家资质认定证书、,具备中国合格评定国家认可委员会办法的测量审核机构证书，拥有国家一级保密资质、ISO9001质量管理体系证书等资质证书，并先后与英国Ulster大学建立了“Advanced Machine Intelligence（先进机器智能）”联合研究中心，与希腊东马其顿-色雷斯技术学院签订学术合作备忘录，受四川省教育厅委托建设“四川省学生体质健康大数据中心”，为四川省司法行政管理机构（戒毒管理局）建设四川省智慧运动戒毒云平台，与中国民用航空飞行学院共建“高原体育与体质干预实验室”。进一步加强在各领域协同创新。