本软件需求形式化及形式化验证工具（招标项目编号：0613-266025222068），确定001 软件需求形式化及形式化验证工具：的中标人如下：

一、中标人信息：

001软件需求形式化及形式化验证工具

二、其他公告内容

三、监督部门

本招标项目的监督部门为/。

四、联系方式

招标人：中国商用飞机有限责任公司上海飞机设计研究院

地址：上海市张江金科路5188号

联系人：张老师

电话：021-20865266

电子邮件：/

招标代理机构：上海机电设备招标有限公司

地址：上海市长寿路285号恒达大厦20楼

联系人：叶子源

电话：021-32557517

电子邮件：yzy@shbid.com