软件需求形式化及形式化验证工具-公开招标公告

  • 招标 招标采购
  • 上海-县级市-浦东新
2026-05-01
基本情况基本情况
  • 信息编号
  • 所属行业
    信息技术服务
  • 招标预算
  • 项目地址
    上海-县级市-浦东新
  • 业主单位
  • 招标代理
  • 采购对象
    • 软件需求形式化及形式化验证工具
  • 信息情况:

    标书获取时间:

    2026-05-01 - 2026-05-08

    投标截止时间:

    2026-05-22

    开标时间:

    2026-05-22
公告正文公告正文

字号:

软件需求形式化及形式化验证工具招标公告

*. 招标条件

软件需求形式化及形式化验证工具(招标编号:**)采购的招标人为中国(以下简称“招标人”),资金来源为自筹,出资比例为***%,目前已具备招标条件。上海(以下称“招标代理机构”)受招标人委******公开招标,在此欢迎中华人民共和国境内的合格投标人参加投标。

  1. 招标采购内容

本次采购内容,详见下表。

序号

名称

数量

简要技术参数

*

软件需求形式化及形式化验证工具

*套

详见招标文件第*章

项目规模:投标人应根据招标人提出的技术要求,完成软件需求形式化及形式化验证工具制造的详细设计、开发、******工作,配合招标人按规定完成其验收工作,并最终交予招标人使用;

招标范围:软件需求形式化及形式化验证工具;

交货地******(上海市浦东新区金科路****号)。

交货期:项目合同签订**天内完成方案评审,*个月内完成工具到货验收,*个月内完成工具安装调试,**个月内完成项目交付验收。

**. 对投标人的资格要求

投标人是响应招标、参加投标竞争的法人或其它组织,并同时满足下列要求:

*.*业绩要求

投标人近*年(****年*月*日至今)须具有与本项目相关类似项目的业绩。投标人须提供近*年(****年*月*日至今)投标人签订的至少*份类似业绩合同复印件作为证明材料,合同须体现合同签订时间、合同内容、双方盖章页,否则******理。

*.* 其他要求

*.*.* 投标人应为遵守有关国家法律、法规,在中华人民共和国境内登记注册的,具有独立法人资格的企业并提供加载统*社会信用代码的营业执照;投标人需提供营业执照/事业单位法人证书等有效的登记证明材料。

*.*.* 投标人须为本项目的制造商或集成商。

*.*.* 投标人须提供开标日期前*个******开具的资信证明。

*.*.* 投标人需提供****年、****年和****年的财务审计报告,如未成立*年,需提供成立以来的第*方财务审计报告(财务审计报告需包括正文、资产负债表、现金流量表和利润表);

注:对于无法提供审计报告的事业单位,需提供****年、****年和****年财务报表;

*.*.* 投标人************基本账户开户许可证复印件或由为企业开立******出具的具有企业基本存款账户编号的说明文件原件或复印件;

*.*.*投标人须提供近*年(自****年*月*日至招标公告发布之日)诉讼及仲裁情况说明。

*.*.* 本次招标不接受联合体投标。

*. 招标文件的获取

*.* 凡有意参加投标人,请在以下时间内购买招标文件:

*.*.*招标文件发售时间:****年*月*日到****年*月*日(北京时间,下同);每日上午*:**—**:**,下午*:**—*:**

*.*.* 招标文件每套售价****元,售后不退。

*.* 招标文件购买方式:

本项目采用电子化采购方式,有意向的供应商可于****年*月*日~****年*月*日每天*:**时~**:**时(北京时间)在上海SMEETC电子交易平台(******;下简称“交易平台”)购买招标文件。未从交易平台购买招标文件的潜在投标人将不得参加投标。

其他事项:

*)本项目采用电子招投投标形式,电子招标投标交易平台为“上海SMEETC电子交易平台(网址:******)”,投标人应当在上述电子招******注册并购买招标文件,未从交易平台购买招标文件的潜在投标人将不得参加投标。投标人在交易平台的有关操作方法请参照《全流程操作手册—投标人版》或通过客服热线:**********(工作日:上午**:**-**:**下午**:********有关内容的操作及办理。

*)投标人应及时登录上海SMEETC电子交易平台办理CA数字证书,否则将影响投标文件签章及加觅。

  1. 投标文件的递交

*.* 递交截止时间:****-*-** **:**

*.* 递交方法:电子上传文件递交

*.* 递交地址******EETC电子交易平台(网址:******)

  1. 发布公告的媒介

本次招标公告在“中国招标投标公共服务平台(bulletin.cebpubservice.com/)”上发布。

  1. 开标时间及地点

开标时间:****-*-** **:**

开标地点:上海SMEETC电子交易平台(网址:******)

  1. ******门

本项目接收异议的联系人和联系方式详见招标代理机构联系方式。

本招标项目******门监督,联系方式:中国监督检查办公室;***********。

  1. 联系方式

招 标 人:中国

详细地址*********号

联系人:张

联系电话:

 

招标代理机构:上海

详细地址******号恒达大厦**楼

联 系 人:叶、*中浩、胡思松、顾*鸣

联系电话:

电子邮件:***************.com   

****年*月*日

相关单位相关单位
招标单位(1)
  • 企业
    政府及事业单位国有企业 收藏 监控
    • 张** (经理)
代理机构(1)
  • 企业
    民营企业 收藏 监控
    • 叶** (经理)
信息时间线信息时间线
  • 2026-05-01
    招标
    招标公告
    软件需求形式化及形式化验证工具-公开招标公告
    current