比选公告-基于形式化技术的代码深层次自动检查工具采购比选项目中电科航空电子有限公司比选公告