打造数字安全强基底座，引领高安全级技术创新 · 望安科技为军科院提供形式化验证技术培训服务

2022年10月27日下午，望安科技在线上为军科院提供了关于形式化验证工具技术培训会。望安科技研发部负责人姚历智担任本次培训讲师。

本次培训详细介绍了望安科技形式化验证技术工具及其应用场景，并结合实际案例，向军科院参会人员列举了望安形式化验证工具的使用方式及使用过程中常见的问题及解决方案，并回答了相关的疑问，取得的良好的培训结果。

望安科技

望安科技是以“形式化验证”为核心技术的网络与信息安全产品和服务提供商。面对当前中国信息安全产业飞速建设、高等级认证服务爆发性需求，望安科技聚焦信息安全核心，在关键技术领域，持续突破创新，安全产品及服务面向航空、航天、国防、区块链、互联网金融、芯片设计制造、物联网、轨道交通、工业控制等重大领域。

军科院

军科院是军事科学研究中心，是计划协调军事科研工作的机构。
军事软件的应用已经渗透到军事领域的各个角度，由于应用环境的特殊性，决定了军事软件的信息关系更为复杂，军科院对软件代码质量的安全性、可靠性、软件开发的高效性提出了更高的要求。