望安科技受邀参加第四届ICT软件技术大会，共筑中国软件根基

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

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