2022年10月27日下午，望安科技在线上为军科院提供了关于形式化验证工具技术培训会。望安科技研发部负责人姚历智担任本次培训讲师。
本次培训详细介绍了望安科技形式化验证技术工具及其应用场景，并结合实际案例，向军科院参会人员列举了望安形式化验证工具的使用方式及使用过程中常见的问题及解决方案，并回答了相关的疑问，取得的良好的培训结果。
望安科技
望安科技是以“形式化验证”为核心技术的网络与信息安全产品和服务提供商。面对当前中国信息安全产业飞速建设、高等级认证服务爆发性需求，望安科技聚焦信息安全核心，在关键技术领域，持续突破创新，安全产品及服务面向航空、航天、国防、区块链、互联网金融、芯片设计制造、物联网、轨道交通、工业控制等重大领域。
军科院
军科院是军事科学研究中心，是计划协调军事科研工作的机构。军事软件的应用已经渗透到军事领域的各个角度，由于应用环境的特殊性，决定了军事软件的信息关系更为复杂，军科院对软件代码质量的安全性、可靠性、软件开发的高效性提出了更高的要求。
浙江望安科技有限公司
浙江望安科技有限公司是以"形式化验证"为核心技术的安全服务及产品提供商。公司致力于为国家重大项目、关键系统及行业企业提供安全认证保障。业务覆盖航空、航天、国防、轨道交通、区块链、物联网、工业控制、芯片设计制造等重大领域。
公司可提供信息技术安全评估标准CC、EAL1-EAL7级安全保障级别咨询与技术服务。公司拥有自主研发、自主知识产权的覆盖软件全生命周期的望安形式化验证工具WONSEC V1.0、符合CC认证体系的标准化实施平台系统W-CaaS等重要核心资产。核心技术已应用于C919国产大飞机、载人航天工程、中航工业集团、航天科技集团、元心科技、中国移动等，已覆盖相对广泛的合作领域和企业。