望安科技

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

工商信息显示，浙江望安科技有限公司法定代表人为陈建明， 成立于2019-06-04，注册资本1083.33万人民币， 公司经营状态为存续，所属行业为软件和信息技术服务业， 注册地址位于浙江省绍兴市柯桥区齐贤街道柯桥经济技术开发区西环路586号科创大厦B座1409-1413。