项目名称：高安全性软件应用开发平台
日期：2013年05月30日
招标编号：0730-1342GD02H901
中航技国际经贸发展有限公司受买方委托对下列产品及服务进行国际公开竞争性招标，于2013年05月30日在公告。本次招标采用传统招标 方式，现邀请合格投标人参加投标。
1、招标产品的名称、数量及主要技术参数：
招标编号：0730-1342GD02H901/01
设备名称及数量：高安全性软件应用开发平台1套
(1)形式验证——提供详尽的形式验证功能，不需要借助测试用例，就可以检验所建模型是否满足安全性；
(2)文档生成——提供文档自动生成功能，自动生成的设计文档支持GJB438标准。

2、招标文件售价：1500.00
3、购买招标文件时间：从即日起每天(节假日除外)上午9：00时至下午4:30 (北京时间) 至2013年06月20日上午9点
4、购买招标文件地点：中航技国际经贸发展有限公司
5、投标截止时间和开标时间：2013-06-20 09:00
6、中标情况将在公示。
7、开标地点：602宾馆会议室
地 址：北京市朝阳区慧忠路5号远大中心B座14层
邮编：100101
电子邮箱：jieliu@aited.cn
电话： ***-********
传真： ***-********
联系人：刘洁
开户银行（人民币）：浦发银行北京亚运村支行
开户银行（美元）：中国银行总行营业部
帐 号（人民币）：****************0
帐 号（美　元）： ********094014