浙江望安科技有限公司

浙江望安科技有限公司是以“形式化验证”和“安全认证”为核心的网络与信息安全产品和服务提供商。望安科技致力于为国家重大项目、关键系统和行业企业提供安全保障，安全产品及服务面向航空、航天、国防、轨道交通、区块链、物联网、工业控制、芯片设计、操作系统、数据库等重大行业。望安科技依托形式化验证核心技术，已拥有多项形式化技术专利、软著，自研多款形式化验证工具。公司核心技术和工具已应用于载人航天工程、中航工业集团、航天科技集团、航天科工集团、中国军事科学院、中国信科、小米科技、中国移动、中科海微、元心科技等，覆盖国家重点行业及企业。