软件安全特性形式化证明工具-公开招标公告

特别提示：本项目为航空工业电子采购平台试运行项目，将进行全流程电子招投标。有意向参与本项目的投标人请访问航空工业电子采购平台（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本次招标不接受联合体投标。

4.

未在中国电力招标采购网（www.dlztb.com）上注册会员的单位应先点击注册。登录成功后的在招标会员区根据招标公告的相应说明获取招标文件！
咨询电话：010-51957458
手 机：18811547188
联系人：李杨
QQ:1211306049
微信：Li18811547188
邮箱：1211306049@qq.com
来源：中国电力招标采购网
备注：欲购买招标文件的潜在投标人,注册网站并缴纳因特网技术服务费后，查看项目业主，招标公告并下载资格预审范围，资质要求，招标清单，报名申请表等。为保证您能够顺利投标，具体要求及购买标书操作流程按会员区招标信息详细内容为准，以招标业主的解答为准本。
编辑：365trade