采购项目名称

工业和信息化部电子第五研究所程序设计形式化验证分析软件采购项目

品目

货物/通用设备/仪器仪表/其他仪器仪表

采购单位

工业和信息化部电子第五研究所

行政区域

广东省

公告时间

2022年10月21日15:27

评审专家名单

文燕、张向云、黄滨、杨晓云、杨莘

总中标金额

￥293.000000万元（人民币）

联系人及联系方式：

项目联系人

陈敏

项目联系电话

020-83336359、020-87600652

采购单位

工业和信息化部电子第五研究所

采购单位地址

广州市增城区朱村街朱村大道西78号

采购单位联系方式

胡工020-86717104

代理机构名称

中招国际招标有限公司

代理机构地址

广州市越秀区广州大道中599号第八层803单元

代理机构联系方式

陈敏020-83336359、020-87600652

附件：

附件1

工业和信息化部电子第五研究所程序设计形式化验证分析软件采购项目-发售稿.pdf

一、项目编号：TC22940EJ（招标文件编号：TC22940EJ）

二、项目名称：工业和信息化部电子第五研究所程序设计形式化验证分析软件采购项目

三、中标（成交）信息

供应商名称：无锡珩信电子信息科技有限公司

供应商地址：无锡市锡山区安镇街道丹山路88号锡东创融大厦C栋16-048

中标（成交）金额：293.0000000（万元）

四、主要标的信息



序号

供应商名称

货物名称

货物品牌

货物型号

货物数量

货物单价(元)





1

无锡珩信电子信息科技有限公司

程序设计形式化验证分析软件

无锡珩信电子信息科技有限公司

HX-MH.0.0012

1

2,930,000.00























五、评审专家（单一采购人员）名单：

文燕、张向云、黄滨、杨晓云、杨莘

六、代理服务收费标准及金额：

本项目代理费收费标准：按照招标文件约定收取

本项目代理费总金额：3.4657000万元（人民币）

七、公告期限

自本公告发布之日起1个工作日。

八、其它补充事宜

九、凡对本次公告内容提出询问，请按以下方式联系。

1.采购人信息

名称：工业和信息化部电子第五研究所

地址：广州市增城区朱村街朱村大道西78号

联系方式：胡工020-86717104

2.采购代理机构信息

名称：中招国际招标有限公司

地址：广州市越秀区广州大道中599号第八层803单元

联系方式：陈敏020-83336359、020-87600652

3.项目联系方式

项目联系人：陈敏

电话：020-83336359、020-87600652