一、项目基本情况
原公告的采购项目编号：TC22940EJ
原公告的采购项目名称：工业和信息化部电子第五研究所程序设计形式化验证分析软件采购项目公开招标公告
首次公告日期：2022年09月28日
二、更正信息
更正事项：采购公告
更正内容：
于2022年9月28日发布的工业和信息化部电子第五研究所程序设计形式化验证分析软件采购项目（项目编号：TC22940EJ）招标公告，现决定延长本项目获取招标文件时间，具体如下：
获取招标文件截止时间：2022年10月17日 17:00（北京时间）
原招标公告其他内容不变。
更正日期：2022年10月10日
三、其他补充事宜
四、凡对本次公告内容提出询问，请按以下方式联系。
1.采购人信息
名 称：工业和信息化部电子第五研究所
地址：广州市增城区朱村街朱村大道西78号
联系方式：胡工 020-86717104
2.采购代理机构信息
名 称：中招国际招标有限公司
地 址：广州市越秀区广州大道中599号第八层803单元
联系方式：陈敏 020-83336359、020-87600652
3.项目联系方式
项目联系人：陈敏
电 话： 020-83336359、020-87600652