一、项目名称

形式化验证软件

二、项目编号

2020-YKJSJY-W4005

三、采购结果

本项目至开标截止时间共有3家供应商按时提交了响应文件，分别为：上海珞微信息技术有限公司、成都蓉圣科技有限公司和北京普创国芯科技有限公司。询价小组对供应商递交的响应文件进行审查，经审查，3家供应商资格性、符合性审查合格，商务和技术均满足采购文件要求。在保证采购质量、服务满足采购文件要求的基础上，询价小组按照询价文件中的评审方法（最低价法）推荐成交候选人如下：

第一名：成都蓉圣科技有限公司， 投标报价：78.00万元；

第二名：上海珞微信息技术有限公司， 投标报价：79.50万元；

第三名：北京普创国芯科技有限公司， 投标报价：79.80万元。

四、提出异议

如有供应商对上述结果存在异议，可在公示期内以书面形式提出质疑。我中心将在收到质疑后7个工作日内，向质疑供应商作出书面答复。

五、公示时间

2021年1月8日至2021年1月13日

六、监督联系人及方式

采购中心： 夏名扬 联系电话：0731-87027460/87027465

传真：0731-87027470 邮箱：cgzx@nudt.edu.cn