走进位于科创大厦的“望安科技”办公场所，年轻工程师团队正忙着对小米、新华三等几个大项目进行安全分析，尝试着突破一项项技术难关。而贯穿这项工作始终的，正是“形式化验证”这一关键词。

何为“形式化验证”？“望安科技”总经理陈建明解释道，简单来说就是“用数学的方式来验证一段代码的安全性“，通过严密的逻辑演算，从根源上确保代码不存在安全漏洞。这一核心技术，如今在“望安科技”的创新突破下，已成功应用于高铁控制系统、无人机导航模块、智能手机操作系统等关键领域，使得其系统安全等级提升至更高标准。

人才和技术可以说是“望安科技”的核心所在。三年前，“望安科技”申报市级人才项目，进而顺利落地绍兴柯桥经开区（金柯桥科技城），公司创始人、董事长赵永望深耕形式化验证领域逾二十载，其研发成果应用于航空、航天、无人系统等关键领域，也引得了中国移动、小米集团、新华三等行业龙头纷纷抛来“橄榄枝”。

近年来，随着越来越多头部公司加入合作，“望安科技”业绩也是突飞猛进。“尤其是在前两年，公司业绩实现每年翻番，预计今年营收可达数千万元。”陈建明表示，公司从落地到运营，绍兴柯桥经开区（金柯桥科技城）在前期对接洽谈、服务保障方面给予了诸多帮助，让企业更快驶入发展“快车道”。

随着"一带一路"持续深入推进，中国本土企业出海面临日益严苛的网络安全认证要求。“望安科技”敏锐洞察到这一商机，就在上月下旬，成功与欧盟头部安全评估实验室CCLAB达成战略合作，共同搭建起国内首个EUCC（欧盟通用认证标准）本地化服务平台，助力本土企业出海拓市。

国内一电力龙头企业出口欧洲的认证项目，成为该平台首个适用案例——“望安科技”作为国内信息安全认证领域的先行者，使该企业智能电表产品顺利获得进入欧盟市场的“数字通行证”。

“随着越来越多出海企业突破海外市场准入壁垒，不仅构建起信息安全的良好生态，也为今后实现完全国产替代起了好势头。”陈建明表示，以往海外认证的业务基本被德国莱茵、SGS等外资机构所垄断，这次公司达成战略合作，不仅使得认证周期进一步缩短、认证成本进一步降低，更意味着中国企业终于握住了网络安全国际认证的主动权。

正如赵永望所言，“用数学的确定性对抗网络空间的不确定性，这是中国网络安全企业必须攀登的技术高峰。”