项目概况

操作系统部分模块形式化验证及CC EAL5+评估认证服务 招标项目的潜在投标人应在登陆地址：https://bs.cfet.com.cn/获取招标文件，并于2022年11月30日 09点00分（北京时间）前递交投标文件。

一、项目基本情况

项目编号：0722-207FE2619YPF

项目名称：操作系统部分模块形式化验证及CC EAL5+评估认证服务

预算金额：1150.0000000 万元（人民币）

采购需求：

本项目一共4个包，分为01包、02包、03包、04包，具体信息详见附件内容

合同履行期限：01包27个月，02包27个月，03包12个月，04包12个月

本项目(不接受 )联合体投标。

二、申请人的资格要求：

1.满足《中华人民共和国政府采购法》第二十二条规定；

2.落实政府采购政策需满足的资格要求：

详见招标公告内容

3.本项目的特定资格要求：无

三、获取招标文件

时间：2022年11月08日 至2022年11月15日，每天上午9:00至11:30，下午13:30至17:00。（北京时间，法定节假日除外）

地点：登陆地址：https://bs.cfet.com.cn/

方式：线上审核售卖

售价：￥500.0 元，本公告包含的招标文件售价总和

四、提交投标文件截止时间、开标时间和地点

提交投标文件截止时间：2022年11月30日 09点00分（北京时间）

开标时间：2022年11月30日 09点00分（北京时间）

地点：北京市海淀区闵庄路42号蓝海智谷5层30会议室

五、公告期限

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

六、其他补充事宜

七、对本次招标提出询问，请按以下方式联系。

1.采购人信息

名 称：中国科学院软件研究所

地址：北京市

联系方式：李先生18141908693

2.采购代理机构信息

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

地　址：北京市

联系方式：张华188426714455

3.项目联系方式

项目联系人：张华

电　话：　　18842671455