工业和信息化部电子第五研究所2022年6至12月政府采购意向-程序设计形式化建模与验证分析系统详细情况

<div class="pubtable"> <table border="0" cellspacing="1" bgcolor="#bfbfbf" style="margin:auto;text-align:left;"> <tr> <td colspan="2" style="text-align: center;background-color: #d5d5f7;font-size: 16px;">程序设计形式化建模与验证分析系统</td> </tr> <tr> <td class="title" style="width: 130px;">项目所在采购意向：</td> <td><a href="/cgyx/pub/details?groupId=8dd1f909-39e4-4fee-8214-8696b9528e29" target="_blank">工业和信息化部电子第五研究所2022年6至12月政府采购意向</a></td> </tr> <tr> <td class="title">采购单位：</td> <td>工业和信息化部电子第五研究所</td> </tr> <tr> <td class="title">采购项目名称：</td> <td>程序设计形式化建模与验证分析系统</td> </tr> <tr> <td class="title">预算金额：</td> <td>***万元(人民币)</td> </tr> <tr> <td class="title">采购品目：</td> <td><div style="width: 100%;overflow-y:auto;max-height: 200px;word-break:break-all;">A020199其他计算机设备及软件</div></td> </tr> <tr> <td class="title">采购需求概况 ：</td> <td><div style="width: 100%;overflow-y:auto;max-height: 200px;word-break:break-all;">用于开展基于模型的形式化验证，模拟软件外部周边软硬件环境，开展软件设计建模和代码建模，形成一体化形式建模语言、代码形式化规约建模、基于设计要求的形式化规约建模、功能/时序/数据流一体化验证。</div></td> </tr> <tr> <td class="title">预计采购时间：</td> <td>2022-07</td> </tr> <tr> <td class="title">备注：</td> <td><div style="width: 100%;overflow-y:auto;max-height: 200px;word-break:break-all;"></div></td> </tr> </table> <div class="vF_detail_content" style="border:none;margin:0 auto;width:708px;float:none"> <p style="line-height:40px;font-weight:bolder;background:cornsilk;color:crimson;padding:5px;border:1px solid crimson;font-size:14px;text-align: center;margin-left:4px">本次公开的采购意向是本单位政府采购工作的初步安排，具体采购项目情况以相关采购公告和采购文件为准。</p> </div> </div>