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