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