系統可信性自動驗證國家地方聯合工程實驗室

實驗室簡介

近日，從四川省發展和改革委員會轉發國家發改委的批文（發改高技[2016]2203號）獲悉，由西南交通大學數學學院牽頭、英國ULSTER大學、四川九洲集團、中車青島四方公司參與申報的“系統可信性自動驗證國家地方聯合工程實驗室”正式獲批。

2014年9月22日，四川省發展和改革委員會下發批覆，成立“四川省系統可信性自動驗證工程實驗室”。實驗室成立之初，通過聯合包括英國Ulster大學、巔峰軟體集團、西南交通大學科技園等在內的力量，立足於建立一個集理論研究、系統研發和產業化於一體的工作體系與套用平台。兩年來，在學校的高度重視下，在包括四川省發改委、唐山市政府、我校科研院、唐山研究院等支持下，實驗室先後與四川省國防科工辦聯合舉辦了“軟體監測與驗證技術交流會”，與唐山市政府、中車唐山公司等合作建立四川省系統可信性自動驗證工程實驗室唐山研究中心，與中國航天集團、長虹電子、九州電器、東方電機等三十餘家單位進行了科研項目合作，還面向海內外舉辦多場自動推理（定理機器證明）研究進展的講座，極大地提升了實驗室的實力，為此次申報成功奠定了堅實基礎。

此次實驗室獲批為“國家地方聯合工程研究中心（工程實驗室）”，通過著力提高研發工程化實驗能力、完善產學研合作機制、加強協同創新等建設與發展，必將進一步促進國家和地方產業技術進步和結構調整。