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

望安科技依托形式化验证核心技术，参与了多项标准建设拥有多项形式化技术专利、软著，自研多款形式化工具，形式化解决方案应用于多项重大安全项目，为关键系统提供安全保障。核心技术已应用于C919国产大飞机、载人航天工程、中航工业集团、航天科技集团、航天科工集团、中国军事科学院、中国信科、小米科技、中国移动、中科海微、元心科技等，已覆盖相对广泛的合作领域和企业。 

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

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