浙江望安科技有限公司是以“形式化验证”和“安全认证”为核心的网络与信息安全产品和服务提供商。望安科技致力于为国家重大项目、关键系统和行业企业提供安全保障，安全产品及服务面向航空、航天、国防、轨道交通、区块链、物联网、工业控制、芯片设计、操作系统、数据库等重大行业。

望安科技依托形式化验证核心技术，已拥有多项形式化技术专利、软著，自研多款形式化验证工具。公司核心技术和工具已应用于载人航天工程、中航工业集团、航天科技集团、航天科工集团、中国军事科学院、中国信科、小米科技、中国移动、中科海微、元心科技等，覆盖国家重点行业及企业。

望安科技位于浙江省杭州市，毗邻阿里巴巴和之江实验室，作为首批入驻浙江人才大厦的科创型企业，自成立伊始得到了各级政府的大力扶持。望安科技以打造一家全球顶尖的“国之重器”型安全公司为目标，致力成为系统安全形式化验证的领航者、综合安全平台及工具的提供者、泛安全领域及产业化的推动者。

望安科技以打造一家全球顶尖的“国之重器”型的安全公司为目标，努力成为系统安全形式化验证的领航者、综合安全平台及工具的提供者、泛安全领域及产业化的推动者。