四川省系统可信性自动验证工程实验室依托
西南交通大学应用数学学科
徐扬教授学术团队和校内外部分相关科技产业部门，围绕科学研究、
精细化管理、国防安全、社会服务等众多领域复杂大系统对可信性判定的迫切需求，针对软件、硬件系统开发和运行中高可信性难以自动验证，特别是对异常复杂系统缺乏有效科学的验证手段等瓶颈制约，建设自动推理工具、可信性自动验证、形式化工具系统等3个研发平台。
2014年9月，四川省发改委批复西南交通大学（川发改高技【2014】826号）成立四川省系统可信性自动验证工程实验室项目，项目总投资3045万元。是目前西南交通大学唯一一个具有理科综合背景、依托理科学院建设的省级工程实验室。
该实验室依托
西南交通大学数学学科
徐扬教授学术团队和校内外部分相关科技产业部门，围绕科学研究、
精细化管理、国防安全、社会服务等众多领域复杂大系统对可信性判定的迫切需求，针对软件、硬件系统开发和运行中高可信性难以自动验证，特别是对异常复杂系统缺乏有效科学的验证手段等瓶颈制约，建设自动推理工具、可信性自动验证、形式化工具系统等3个研发平台。四川省系统可信性自动验证工程实验室项目的建设和发展，能够进一步拓展西南交通大学智能研究与开发中心原创的可信性自动验证工具，在系统可信性验证领域形成若干特定的产业体系，带动相关产业发展，更好地为地区和行业服务。该实验室的建设将有力推动西南交通大学和其数学学院完成国家、省和行业下达的科技研发与工程研究任务，助力数学学院人才梯队参与关键技术研究与开发，成为
西南交通大学数学学院在高起点上开展人才培养、学术团队建设的一个重大应用平台。
A. 自动推理工具
B. 可信性自动验证
C. 形式化工具系统