软件需求形式化及形式化验证工具-中标候选人公示

软件需求形式化及形式化验证工具-中标候选人公示 (招标编号： 0613-266025222068 ) 公示开始时间： 2026年05月29日21时00分00秒 公示结束时间： 2026年06月01日23时59分59秒 本 软件需求形式化及形式化验证工具 （招标项目编号： 0613-266025222068 ）经评标委员会评审，确定 001 软件需求形式化及形式化验证工具 的中标候选人，现公示如下： 一、评标情况 001软件需求形式化及形式化验证工具 1、中标候选人基本情况 排序 中标候选人名称 投标报价 质量 工期/交货期 1 南京理工大学 282万元(人民币) 合格 项目合同签订15天内完成方案评审，1个月内完成 工具到货验收，3个月内 完成工具安装调试，12个 月内完成项目交付验收。