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