項目概況

操作系統部分模塊形式化驗證及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