望安科技受邀参加第六届载人航天学术大会，共探航天安全与技术创新

    在本次大会上，望安科技作为特邀专家单位，于“航天软件工程与数字化应用”分论坛发表题为《安全关键系统的形式化方法》的特邀报告。报告深入探讨了形式化方法的背景、现状及其在航天、国防等安全关键领域的应用，强调国内应加大对形式化方法在国内安全关键领域的研发投入，提升自主创新能力和技术竞争力。望安科技在报告中展示了自研的W-Cert、W-AVC工具及W-Cass服务平台，以及高等级安全认证与系统级形式化验证技术服务。同时，公司分享了在航天、航空、国防等多个领域的形式化验证与安全认证成果，展现了强大的技术实力。