公司由中國科學技術大學與科大國創(chuàng)股份有限公司于2017年聯(lián)合創(chuàng)辦，核心團隊源自中國科大，公司技術團隊在形式化方法領域有二十余年的理論與實踐積累，是我國首批接觸并研究形式化方法的團隊，在程序驗證和分析方面積累了關鍵技術，形成了國內(nèi)外較為領先的技術體系。公司是國家高新技術企業(yè)、省專精特新企業(yè)和科技型中小企業(yè)，擁有省企業(yè)技術中心、省企業(yè)研發(fā)中心等研發(fā)機構。公司位于合肥市高新區(qū)文曲路355號科大國創(chuàng)大廈，現(xiàn)有員工140余名，其中技術人員130人。公司主要產(chǎn)品有：科創(chuàng)瀚海靜態(tài)分析工具、科創(chuàng)星云形式驗證工具、科創(chuàng)星碼編程助手和科創(chuàng)星智模型評測平臺等基礎軟件工具和AI產(chǎn)品。公司致力于高可信軟件和人工智能安全的研究和軟件產(chǎn)品的研發(fā)，將高可信軟件的相關技術應用于安全攸關行業(yè)的關鍵基礎設施的開發(fā)中，推動高可信軟件系統(tǒng)的應用和高可信軟件開發(fā)支撐工具的產(chǎn)業(yè)化建設，提高關鍵領域的軟件可靠性和安全性，為國家解決基礎開發(fā)工具類軟件“卡脖子”問題、提升軟件質(zhì)量及安全性提供了有力的支撐。