华为第四届ICT软件技术大会  

2023年8月4日，望安科技作为系统形式化验证与安全认证的推动者，受邀参加了华为第四届ICT软件技术大会，并由创始人——赵永望做了《操作系统形式验证与安全认证》的报告。华为ICT软件技术大会面向全球华为研究所举办，汇聚了来自全球的华为研究人员、软件技术领域学术专家以及企业代表，展示了学术界和工业界最新的软件技术与成果，是业界优秀企业的交流平台。

当前，软件产业已成为加快各国经济，尤其是数字经济发展的关键支撑力量。软件作为数字产业的核心组成部分，正通过软件定义引领创新，不断加速数字化转型和智能化升级的进程。会上，望安科技与参会企业一起，分享了在软件技术方面的实践经验，共同探讨了软件产业的发展方向。

望安科技作为国内形式化验证领域和CC高等级认证领域的推动者，一直致力于为国内重大项目、关键系统和行业企业提供安全认证保障，安全产品及服务面向航空、航天、国防、区块链、互联网金融、芯片设计制造、物联网、轨道交通、工业控制等重大领域。望安科技聚焦信息安全核心，在关键技术领域持续突破创新，目前已经形成了形式化验证平台、CC评估服务平台两大平台体系，并与国内外权威机构建立联合实验室，推动国内数字安全的发展。

未来，望安科技将与业界一起，积极推动中国软件产业的发展，共同打造立足中国、面向全球的基础软件产业生态，为我国软件安全保驾护航！