软件需求形式化及形式化验证工具-公开招标公告

软件需求形式化及形式化验证工具招标公告1.招标条件软件需求形式化及形式化验证工具（招标编号：【登录查看】2068）采购的招标人为中国商用飞机有限责任公司【登录查看】（以下简称“招标人”），资金来源为自筹，出资比例为100%，目前已具备招标条件。【登录查看】（以下称“招标代理机构”）受招标人委托，现对本项目进行公开招标，在此欢迎中华人民共和国境内的合格投标人参加投标。招标采购内容本次采购内容，详见下表。序号名称数量简要技术参数1软件需求形式化及形式化验证工具1套详见招标文件第六章项目规模：投标人应根据招标人提出的技术要求，完成软件需求形式化及形式化验证工具制造的详...