本人为系统可信性自动验证国家地方联合工程实验室技术委员会委员，属于该实验室团队成员。

实验室的前身是1982年成立的西南交通大学智能开发中心，在智能信息处理（逻辑自动推理、形式化方法与自动验证、智能控制系统）有原创的理论和方法，形成了自动验证相关系统和工具。

【理论方法】

矛盾体分离的动态自动演绎推理的理论与方法，徐扬教授团队在2018年度人工智能基础应用研究领域夺得第21届国际SAT竞赛亚军和第23届国际一阶逻辑自动定理证明器竞赛亚军，保持国际领先水平。

【科研项目】

2016年至今，主持国家自然科学基金重大项目1项、国家自然科学基金面上项目4项、青年项目9项。主研及参研国防军工及其它工业应用类项目26项；总经费1200万元

【工程应用】

在轨道交通、网络安全、航空航天、国防军工等关键领域研发实用的可信性自动验证系统，促进信息安全产业的可持续发展，取得了一批重要应用成果（主要包括：面向高速铁路装备安全监测和运营维护中的可靠性判定、系统可靠性优化；专家决策支持及效果评价（WRD）系统；工业信息系统可信性自动验证平台建设和工控系统信息安全评测服务），应用于工业信息系统安全评估和工控系统信息安全评测服务、两化融合、物联网、云计算、大数据解决方案系统评测工作，摆脱可信性自动验证技术对国外的依赖，提高我国在系统可信性自动验证领域的自主创新能力。

【系统工具】

自主研发可信性自动验证工具 Scavel C、Scavel PLC；“工业控制系统安全检查平台”；基于自动验证工具Scavel PLC轨道交通控制模块可信性自动验证系统。

【硬件设备】

拥有包括计算机集群系统、软件检测平台、原型控制实时仿真器、智能信息处理求解证明系统等在内的设备、仪器及软件252台（套）；实验设备资产2000万元以上。

【国内合作单位】

产学研用合作单位及平台共建单位（签署科研技术合作协议）：四川九洲电器集团有限责任公司、中车青岛四方机车车辆股份有限公司、中国航天系统科学与工程研究院（中国航天十二院）、中国核动力研究设计院、中国民航飞行学院。

【国际合作】

与英国Ulster大学建立了“Advanced Machine Intelligence（先进机器智能）”联合研究中心；与美国迈阿密大学、希腊东马其顿-色雷斯技术学院签订学术合作备忘录；

与美国、英国、法国、西班牙、比利时、韩国、意大利、澳大利亚、丹麦、希腊等国家及大国内多个院（校）所建立了密切的学术交流与合作关系。每年都有国内外大量的学术论文、科技项目送该中心评审。

2018、2019年有国（境）外38名知名同行来讲学；7名国外专家来访开展短期合作研究（1名海外名师计划）；实验室有42人次出国（境）讲学、合作或参加国际会议，有12名研究生（博士5名，硕士7名）国际访学（联合培养）。