软件需求形式化及形式化验证工具-中标候选人公示
- 2026-05-29
项目名称: 软件需求形式化及形式化验证工具-中标候选人公示
招标公司: 中国商用飞机有限责任公司上海飞机设计研究院
采购标的物: 软件需求形式化及形式化验证工具
项目地区：上海 上海
公告
软件需求形式化及形式化验证工具-中标候选人公示
(招标编号： 查看完整信息068 )
公示开始时间： 2026年05月29日21时00分00秒
公示结束时间： 2026年06月01日23时59分59秒
本 软件需求形式化及形式化验证工具 （招标项目编号： 查看完整信息068 ）经评标委员会评审，确定 001 软件需求形式化及形式化验证工具 的中标候选人，现公示如下：
一、评标情况
001软件需求形式化及形式化验证工具
1、中标候选人基本情况
排序 中标候选人名称 投标报价 质量 工期/交货期
1 南京理工大学 282万元(人民币) 合格 项目合同签订15天内完成方案评审，1个月内完成 工具到货验收，3个月内 完成工具安装调试，12个 月内完成项目交付验收。
2 浙江望安科技有限公司 120万元(人民币) 合格 项目合同签订15天内完成方案评审，1个月内完成 工具到货验收，3个月内 完成工具安装调试，12个 月内完成项目交付验收。
3 东南大学 292万元(人民币) 合格 12个月内完成项目交付验收
2、中标候选人按照招标文件要求承诺的项目负责人情况
序号 中标候选人名称 项目负责人姓名 相关证书名称及编号
1 南京理工大学 / /
2 浙江望安科技有限公司 / /
3 东南大学 / /
3、中标候选人响应招标文件要求的资格能力条件
序号 中标候选人名称 响应情况
1 南京理工大学 响应
2 浙江望安科技有限公司 响应
3 东南大学 响应
二、提出异议的渠道和方式
投标人如对评标结果有异议，请在公示期内将异议书及相关证明资料（须加盖投标人公章）发送至招标代理机构邮箱yzy@shbid.com并将原件邮寄给招标代理。
三、其他公示内容
一、评标情况：评标委员会根据招标文件及投标文件独立进行打分并按综合得分由高到低推荐排序前3名的投标人为本招标项目的中标候选人。
二、中标候选人响应招标文件要求的资格能力条件
1业绩要求
投标人近5年（2021年1月1日至今）须具有与本项目相关类似项目的业绩。投标人须提供近5年（2021年1月1日至今）投标人签订的至少1份类似业绩合同复印件作为证明材料，合同须体现合同签订时间、合同内容、双方盖章页，否则将按无效证明材料处理。
2 其他要求
2.1 投标人应为遵守有关国家法律、法规，在中华人民共和国境内登记注册的，具有独立法人资格的企业并提供加载统一社会信用代码的营业执照；投标人需提供营业执照/事业单位法人证书等有效的登记证明材料。
2.2 投标人须为本项目的制造商或集成商。
2.3 投标人须提供开标日期前3个月内投标人开户银行开具的资信证明。
2.4 投标人需提供2022年、2023年和2024年的财务审计报告，如未成立三年，需提供成立以来的第三方财务审计报告（财务审计报告需包括正文、资产负债表、现金流量表和利润表）；
注：对于无法提供审计报告的事业单位，需提供2022年、2023年和2024年财务报表；
2.5 投标人须提供中国人民银行出具的银行基本账户开户许可证复印件或由为企业开立基本存款账户的银行出具的具有企业基本存款账户编号的说明文件原件或复印件；
2.6投标人须提供近五年（自2021年1月1日至招标公告发布之日）诉讼及仲裁情况说明。
2.7 本次招标不接受联合体投标。
四、监督部门
本招标项目的监督部门为 / 。
五、联系方式
招标人： 中国商用飞机有限责任公司上海飞机设计研究院
地址： 上海市张江金科路5188号
联系人： 张老师
电话： 查看完整信息
电子邮件： /
招标代理机构： 上海机电设备招标有限公司
地址： 上海市长寿路285号恒达大厦20楼
联系人： 叶子源
电话： 查看完整信息
电子邮件： yzy@shbid.com
招标人或其招标代理机构主要负责人（项目负责人）： _______________ （签名）
招标人或其招标代理机构： _______________ （盖章）
20260430查看完整信息604122
