特別提示：本項目為航空工業(yè)電子采購平臺試運行項目，將進(jìn)行全流程電子招投標(biāo)。有意向參與本項目的投標(biāo)人請訪問航空工業(yè)電子采購平臺（http://ebid.eavic.com）查看公告并按要求參與本項目 。
1. 招標(biāo)條件
本招標(biāo)項目軟件安全特性形式化證明工具， 該項目已具備招標(biāo)條件，現(xiàn)對軟件安全特性形式化證明工具進(jìn)行國內(nèi)公開招標(biāo)。
2. 項目概況與招標(biāo)范圍
2.1 招標(biāo)編號：ZKX20240302A176。
2.2 招標(biāo)項目名稱：軟件安全特性形式化證明工具。
2.3 數(shù)量：1套。
2.4 設(shè)備主要用途及基本要求：軟件內(nèi)存安全性分析證明工具采用健壯性語義分析技術(shù)，對軟件運行時錯誤進(jìn)行檢查。針對軟件中數(shù)值越界、指針非常使用等導(dǎo)致的問題進(jìn)行安全性分析，并自動生成測試報告。
2.5 交貨
2.6 交貨期：合同生效后5個月完成交付；合同生效后6個月完成現(xiàn)場安裝調(diào)試培訓(xùn)及驗收。
3. 投標(biāo)人資格要求
3.1本次招標(biāo)要求投標(biāo)人須具備條件如下：
（1）投標(biāo)人須為具有獨立承擔(dān)民事責(zé)任能力的在中華人民共和國境內(nèi)注冊的法人或其他組織，具備有效的營業(yè)執(zhí)照或事業(yè)單位法人證書或其它營業(yè)登記證書，提供有效的營業(yè)登記證明文件并加蓋公章。
（2）投標(biāo)人須提供2023年度經(jīng)審計的財務(wù)會計報表，包括資產(chǎn)負(fù)債表、現(xiàn)金流量表、利潤表的復(fù)印件。投標(biāo)人的成立時間少于規(guī)定年份的，應(yīng)提供成立以來的財務(wù)會計報表，包括資產(chǎn)負(fù)債表、現(xiàn)金流量表、利潤表的復(fù)印件（復(fù)印件須加蓋公章）。投標(biāo)人為依法允許經(jīng)營的事業(yè)單位的，可提供自有財務(wù)報表并加蓋公章。
（3）投標(biāo)人不得存在經(jīng)營異常或嚴(yán)重違法失信情況，以現(xiàn)場查詢信用中國網(wǎng)站結(jié)果截圖（“嚴(yán)重失信主體名單”、“經(jīng)營異常”兩張截圖）為準(zhǔn)，若投標(biāo)人為企業(yè)，還須通過“國家企業(yè)信用信息公示系統(tǒng)”網(wǎng)站查詢，以現(xiàn)場查詢結(jié)果截圖（“列入經(jīng)營異常名錄信息”、“列入嚴(yán)重違法失信名單（黑名單）”兩張截圖）為準(zhǔn)。
（4）投標(biāo)人須提交《主要股東或出資人信息》并加蓋公章（事業(yè)單位不適用）。
（5）本次招標(biāo)要求所投產(chǎn)品的類似項目業(yè)績，提供業(yè)績證明材料（業(yè)績證明材料以合同復(fù)印件為準(zhǔn)，合同需顯示項目名稱、合同主要內(nèi)容、甲乙雙方蓋章，否則視為無效業(yè)績證明材料）。
3.2如投標(biāo)人為代理商投標(biāo)，代理商應(yīng)提交制造商針對本項目的唯一授權(quán)函原件。
3.3本次招標(biāo)不接受聯(lián)合體投標(biāo)。
