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