望安科技赞助并出席2024 CCF中国软件大会，形式化验证与安全认证成果亮相展会

2024年11月15日—11月17日，2024 CCF中国软件大会在陕西省西安高新国际会议中心圆满举办，望安科技作为赞助单位出席此次盛会，重点展示了自身在“形式化验证”与“高安全认证”两大领域的卓越应用成果。

    2024 CCF中国软件大会由中国计算机学会（CCF）主办，CCF软件工程专委会、系统软件专委会、形式化方法专委会、西安电子科技大学承办，西安电子科技大学计算机科学与技术学院（国家示范性软件学院）具体落实，西安市智能软件工程重点实验室负责实施，同时得到了西安高新区管委会的大力支持。大会共设平行论坛44个，包含常设论坛、专刊论坛、学术论坛、教育论坛、工业论坛、国际活动及专题活动七类，主题涵盖系统软件、工业软件、嵌入式软件、开源软件、软件验证、形式化方法等多个前沿领域，并邀请了超过10位中国科学院院士与中国工程院院士，为大会带来特邀报告以及院士高峰论坛等精彩活动。

    本届大会由全国软件与应用学术会议（NASAC）与全国形式化方法与应用会议（FMAC）两个会议有机组成，共同围绕“智能软件创新赋能新质生产力发展”的主题展开深入交流，搭建起了一个集思广益、合作共赢的高端对话平台。望安科技与华为技术有限公司、汇丰科技中国、蚂蚁集团、百度集团、荣耀集团等业界领军企业并肩，共同作为本次盛会的赞助商亮相。值得一提的是，望安科技也是形式化方法与应用会议这一领域的唯一赞助商。

    在本次盛会上，望安科技于中心展区设置了展示区域，展出其在形式化验证军用嵌入式软件、航空航天领域以及TEE（Trusted Execution Environment，可信执行环境）软件开发流程与安全认证方面的前沿应用。这一展示不仅彰显了望安科技在高科技安全认证领域的深厚底蕴，还成功吸引了众多行业内外人士的广泛关注与高度评价。

    11月17日，望安科技形式化验证技术总监章乐平出席工业嵌入式基础软件论坛，发表题为《关键软硬件的形式化验证与高安全级认证》的主题报告。他指出：关键软硬件作为航天等重大行业的数字基石，承载着系统稳定运行与安全保障的重任，但传统开发方法难以满足高安全性和可靠性要求。为此，望安科技凭借形式化验证和高安全级认证技术，推出了W-Cert、W-AVC、W-CaaS等产品，成功应用于航空航天、汽车、轨道交通等领域，成效显著。

     作为国内高等级数字安全领航者，望安科技始终致力于构建以“形式化验证”和“安全认证”为核心的安全服务与产品矩阵，为航空航天、国防科技、轨道交通以及操作系统等行业提供坚实的安全保障。“国之重器”造就安全保障的志气，实现“打造成为一家顶尖的‘国之重器’型安全领域公司”的目标需要接续奋斗、不断攀登，望安科技会在安全保障的征途上不断前行，为构建一个安全、稳定、繁荣的数字生态环境再立新功。