近日，望安科技W-AVC平台中标国家某部形式化验证工具采购项目，标志着望安科技形式化验证软件产品获得国家某部用户的高度认可，彰显了望安在形式化验证领域的市场高认可度和技术研发实力。

望安科技作为系统安全形式化验证、国内CC信息安全高等级认证的推动者，参与多项国内认证行业标准制定，拥有多项形式化验证相关专利证书及软件著作，自研多款形式化验证工具。望安C代码自动验证平台W-AVC是基于形式化验证技术的C代码形式化验证工具，通过严格的数学推导和逻辑分析，可有效增强系统安全性，减少现代⼤型软件架构带来的⻛险。此次中标，证明了W-AVC平台在形式化验证领域的卓越性能和可靠性。

目前，望安科技W-AVC平台已应用于相对广泛的合作领域和企业，包括C919国产大飞机、载人航天工程、中航工业集团、航天科技集团、元心科技、小米科技、中科海微等。

未来，望安科技将持续研发，不断提升自身技术实力和服务水平，为客户提供更加优质的形式化验证解决方案，推动形式化验证技术在国内进一步发展和应用。