10月29日，美國科學(xué)院、歐洲科學(xué)院院士、美國萊斯大學(xué)教授Moshe Y. Vardi來訪上?？匕?，對平臺公司的工具鏈產(chǎn)品研發(fā)進行指導(dǎo)。Vardi教授就計算機軟件的源代碼單元測試、軟件質(zhì)量度量方法、網(wǎng)絡(luò)安全監(jiān)測和控制技術(shù)、以及軟件工具產(chǎn)品的應(yīng)用前景和平臺運營的模式等問題與控安展開討論。

Vardi教授高度贊賞了控安自主研發(fā)的工業(yè)嵌入式系統(tǒng)單元測試工具SmartRocket Unit產(chǎn)品。他認(rèn)為，該工具性能和用戶體驗度已能夠和國際頂尖同類產(chǎn)品比肩；同時指出，理論上測試工作無法保證軟件系統(tǒng)的漏洞可被完全檢測，而程序驗證是解決這一問題更有潛力的技術(shù)。他希望平臺公司能借鑒當(dāng)前美國產(chǎn)業(yè)界成熟的軟件驗證產(chǎn)品研發(fā)和推廣經(jīng)驗，以此指導(dǎo)推進我國自主驗證產(chǎn)品的研發(fā)。

上海控安的研發(fā)團隊也充分認(rèn)同形式化驗證技術(shù)的重要性，并圍繞工業(yè)控制安全系統(tǒng)的技術(shù)創(chuàng)新和產(chǎn)業(yè)變革，向教授介紹了平臺公司在下一代“卡脖子”技術(shù)上的布局和展望，以及多年來在航空航天、軌道交通及工業(yè)控制領(lǐng)域的研發(fā)和產(chǎn)業(yè)化應(yīng)用成果。Vardi教授表示，未來將持續(xù)關(guān)注平臺公司驗證工具核心技術(shù)的研發(fā)，并為此提出專業(yè)的指導(dǎo)意見。羅馬第一大學(xué)教授、ACM會士Giuseppe De Giacomo陪同訪問。

美國科學(xué)院、歐洲科學(xué)院院士Moshe Y. Vardi教授（左三）、羅馬第一大學(xué)教授、ACM會士Giuseppe De Giacomo（左二）