3月28日，望安科技与北京航空航天大学合作共建的“安全关键软件形式化验证联合实验室”在北京航空航天大学正式揭牌，双方将依托形式化验证技术，探索关键软件领域的高安全等级应用，建立产学研用深度融合机制，为我国关键软件产业高质量发展注入新动能。

关键软件作为在数字领域关乎国计民生的关键基础设施，已深度融入至航空航天、轨道交通等领域。但随着软件规模快速增长，网络攻击、软件漏洞等安全问题也日益凸显。形式化验证技术基于严格的数学推导与逻辑证明，通过建立精确的数学模型，对软件全生命周期进行精准验证。通过形式化验证方法，潜在的风险和漏洞得以被扼杀在摇篮里，软件的可靠性和安全性得到极大提升。作为国内形式化验证技术的领跑者，望安科技已成功护航包括高速飞车系统、航天器系统、军用软件等产品在内的关键软硬件的安全。此次与北航合作，双方将构建人才培养体系，重点培养具有责任担当、多学科知识与国际视野的复合型科技领军人才。同时建立合作共赢机制，促进双方在采用国产形式化验证工具软件支持航空航天相关领域的研究工作，推动技术成果向航空航天等关键领域转化应用。

此次望安科技与北京航空航天大学共建联合实验室，为安全关键软件形式化验证领域的发展带来了新的契机和希望。未来，联合实验室有望成为安全关键软件形式化验证领域的重要创新中心和人才培养基地，在行业内发挥引领示范作用，为筑牢数字经济安全底座提供强力支撑。