四川省系統可信性自動驗證工程實驗室

四川省系統可信性自動驗證工程實驗室依託西南交通大學套用數學學科徐揚教授學術團隊和校內外部分相關科技產業部門，圍繞科學研究、精細化管理、國防安全、社會服務等眾多領域複雜大系統對可信性判定的迫切需求，針對軟體、硬體系統開發和運行中高可信性難以自動驗證，特別是對異常複雜系統缺乏有效科學的驗證手段等瓶頸制約，建設自動推理工具、可信性自動驗證、形式化工具系統等3個研發平台。

實驗室背景介紹

2014年9月，四川省發改委批覆西南交通大學（川發改高技【2014】826號）成立四川省系統可信性自動驗證工程實驗室項目，項目總投資3045萬元。是目前西南交通大學唯一一個具有理科綜合背景、依託理科學院建設的省級工程實驗室。

實驗室依託學科

該實驗室是依託西南交通大學套用數學學科發展建成的一個重大產學研平台。

實驗室簡介

該實驗室依託西南交通大學數學學科徐揚教授學術團隊和校內外部分相關科技產業部門，圍繞科學研究、精細化管理、國防安全、社會服務等眾多領域複雜大系統對可信性判定的迫切需求，針對軟體、硬體系統開發和運行中高可信性難以自動驗證，特別是對異常複雜系統缺乏有效科學的驗證手段等瓶頸制約，建設自動推理工具、可信性自動驗證、形式化工具系統等3個研發平台。四川省系統可信性自動驗證工程實驗室項目的建設和發展，能夠進一步拓展西南交通大學智慧型研究與開發中心原創的可信性自動驗證工具，在系統可信性驗證領域形成若干特定的產業體系，帶動相關產業發展，更好地為地區和行業服務。該實驗室的建設將有力推動西南交通大學和其數學學院完成國家、省和行業下達的科技研發與工程研究任務，助力數學學院人才梯隊參與關鍵技術研究與開發，成為西南交通大學數學學院在高起點上開展人才培養、學術團隊建設的一個重大套用平台。

研發平台

A. 自動推理工具

B. 可信性自動驗證

C. 形式化工具系統