夜雨聆风
导语
近日，浙江望安科技有限公司凭借在形式化验证、安全合规认证与高安全软件可信保障领域的持续技术积累，受委托成功参与国家重大创新应用专项“慧眼行动”，承担“面向高安全要求软件的认证评估与形式化验证平台”相关建设任务。标志着公司在高安全软件可信验证、标准化认证支撑与成果转化应用方面迈入新的阶段。
构建认证评估与形式化验证一体化能力
望安科技始终秉承“构建更安全高效的数字世界”的发展理念，围绕安全合规认证、原生安全平台和形式化验证服务三大方向，持续为高安全软件、关键系统和数字基础设施提供可信保障能力。
此次参与“慧眼行动”成果转化应用项目，是望安科技在形式化验证与认证评估融合方向的重要进展。未来，公司将继续以项目建设为牵引，推动形式化验证技术、认证评估方法和安全合规工具体系在更多关键场景中落地应用，为我国高安全软件产业发展、关键核心技术自主可控和数字基础设施安全可信贡献力量。
往期推荐
浙江望安科技有限公司
望安科技作为国内领先的ICT产品原生安全赋能服务商，基于“原生安全”理念与“形式化验证”等关键技术，自研“穹道”原生安全生态平台，帮助企业实现在“安全目标、设计、开发、合规”等各研发阶段的全生命周期安全并达到行业与市场准入要求。
点击“阅读原文”获取