系統(tǒng)可信性自動驗證國家地方聯合工程實驗室于2016年10月獲國家發(fā)改委批準立項建設。在學校及學院的關心支持下，實驗室在2017年取得了一系列成績，代表性成果總結如下：
1. 初步建成國際合作基地。
依托與英國Ulster大學合作建立的 “Advanced Machine Intelligence（先進機器智能）”聯合研究中心，召開視頻學術研討會16場，教師互訪6人次，聯合培養(yǎng)研究生7名，加強系統(tǒng)可信性自動驗證技術的研發(fā)和學術合作，增強了實驗室在國際上的輻射力和影響力。
2. 持續(xù)改進應用型驗證工具。
以原創(chuàng)的自動推理研究成果為核心，不斷改進兩類系統(tǒng)可信性自動驗證工具：
(1)C程序自動驗證工具Scavel C
(2)PLC程序自動驗證工具Scavel PLC。
這兩類工具自主可控，與傳統(tǒng)測試工具在核心原理上存在根本區(qū)別，可以主要應用于軟件驗證、系統(tǒng)設計需求驗證、安全協議驗證等方面，有助于提高我國在國防軍工、武器裝備、航天航空、核工業(yè)、等領域的系統(tǒng)可信性。
通過核物理研究院、火箭研究院的合作應用測試，對比發(fā)現，Scavel C能夠發(fā)現目前市場高占有率的測試工具KlockWork K10、Testbed等不能發(fā)現的缺陷，顯現了其獨有的作用。Scavel PLC自動驗證工具的性能已達到工業(yè)級應用水平。中國工程物理研究院測評中心將實驗室研發(fā)的驗證工具 Scavel C列入采購計劃；與中國運載火箭研究院評測中心針對PLC程序控制系統(tǒng)驗證達成合作意向，目前正在研發(fā)專用驗證系統(tǒng)。
3. 科研成果不斷涌現。
2017年，實驗室團隊成員申請受理國家發(fā)明專利13項，相關軟件取得計算機軟件著作權登記證書1項（累計6項）；新研發(fā)證明器20余個，證明了國際上其他證明器均未能證明的結論107個；新研發(fā)求解器10余個，在基準問題求解數量、求解時間等多方面已超過該領域國際最高水平競賽SAT Competition 2016 Main Track的冠軍得主MapleCOMSPS；主持協議驗證系統(tǒng)技術方案一個，持續(xù)開展公式求解數量已經達到5億。
4. 學術交流合作蓬勃開展。
實驗室常年堅持學術報告會制度，每周三召開一次學術交流報告會，每周六召開科研學術進展匯報研討會。一年來，實驗室先后邀請海外知名專家Stephan Schulz教授（德國）、Xianyi Zeng教授（法國）、Jun Liu博士英國）、Luis Martinez教授（西班牙）、洪龍教授（南京郵電大學）等到開云短期講學授課或學術交流；實驗室成員陳樹偉在國內重要學術會議上做大會報告3場；宋振明、陳樹偉、何星星、徐鵬、鐘曉梅等多次參加國內外學術會議；實驗室成員一年來發(fā)表論文14篇，其中SCI檢索4篇。
實驗室學術帶頭人徐揚教授當選為中國邏輯學會非經典邏輯與計算專委會主任；宋振明教授當選為中國邏輯學會非經典邏輯與計算專委會秘書長；陳樹偉老師擔任《IEEE Trans. on Fuzzy Systems》、《Information Fusion》、《Information Sciences》、《International Journal of Computational Intelligence》等刊物的審稿人；徐鵬老師擔任IEEE Access、IEEE Transactions on Cybernetics、IET Communications、IET signla processing等審稿人；陳樹偉和何星星等多位老師還參與組織了ISKE2017國際學術會議；徐鵬、鐘曉梅等老師還持續(xù)維護了核心期刊《The Journal of Fuzzy Mathematics》的網絡版。
5．積極參與科技攻關項目和軍民融合項目。
一年來徐揚、宋振明教授主持、其他多位教師參與論證、申報了“十三五”裝備預研共用技術項目1項、九院技改重大專項項目1項、中央軍委科技委項目1項；目前，正在與多家單位開展可信性自動驗證應用類合作研究，相關驗證工具正在中國工程物理研究院、中國運載火箭研究院、航天1院、航天3院、中車唐山機車車輛有限公司等單位試用和測試。
系統(tǒng)可信性自動驗證國家地方聯合工程實驗室唐山分中心一期建設圓滿完成，所承擔的2016 -2017軌道列車網絡控制系統(tǒng)3個可信性驗證實施項目（到位經費190萬）已經通過驗收，正在報獎。
不含唐山分中心項目，2017年度實驗室科研經費總量達到349萬。其中，國家發(fā)改委批復建設項目經費200萬、四川省經信委項目經費90萬暫未到賬。到賬后，將會強有力支撐實驗室的硬件升級拓建和應用系統(tǒng)集成等各項工作。
