项目概况
操作系统部分模块形式化验证及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
ccgp.g