北京海淀北京航空航天大学可靠性与系统工程学院堆栈分析器评标结果公示公告
查看隐藏内容（*）需先登录
******受北京航空航天大学 委托，根据《中华人民共和国政府采购法》等有关规定，现对北京航空航天大学可靠性与系统工程学院堆栈分析器进行其他招标，欢迎合格的供应商前来投标。 项目名称：北京航空航天大学可靠性与系统工程学院堆栈分析器项目编号：****-****STC*****项目联系方式：项目联系人：刘健项目联系电话：***-******** 采购单位联系方式：采购单位：北京航空航天大学采购单位地址：北京市海淀区学院路**号采购单位联系方式：余老师 +**-**-******** 代理机构联系方式：代理机构：******代理机构联系人：安乐、刘健、张静+**-**-********（购买标书）、+**-**-********，********代理机构地址： 北京市海淀区海淀大街*号中钢国际广场**层 一、采购项目内容 货物名称及数量： 堆栈分析器 * 套 主要技术规格： *.支持自动验证生成的代码对于指定的目标处理器是否满足堆栈需求。 *.支持评估需要的最大堆栈使用数量。 *.针对堆栈情况生成基于模型级别的报告。 *.能够测试从任意入口点开始的最大堆栈使用量。 *.能够标识最大堆栈所经的路径等。 二、开标时间：****年**月**日 **:** 三、其它补充事宜本项目为机电产品国际招标公告公示开始时间：****-**-** **:**评标公示截止时间：****-**-** **:**中标候选人名单： 候选人排名 投标商名称 制造商 制造商国别及地区 * 科梁（香港）有限公司 ****** 法国 * ****** RTI 美国 * 航****** Klocwork 公司 加拿大 四、预算金额：预算金额：**.** 万元（人民币）
