望安科技，系统安全形式化验证的领航者

浙江望安科技有限公司是以“形式化验证”为核心技术的网络与信息安全产品和服务提供商。望安科技致力于为国家重大项目、关键系统和行业企业提供安全认证保障，安全产品及服务面向航空、航天、国防、区块链、互联网金融、芯片设计制造、物联网、轨道交通、工业控制等重大领域。望安科技目前拥有多条产业服务体系：以形式化验证技术为基础，帮助国内信息安全企业经济且高效地通过国内国际的CC EAL全等级认证标准，打造国内CC认证服务体系产业链；以覆盖高安全等级软件开发、验证的全生命周期，为客户提供一揽子产品、服务和解决方案的形式化验证工具产品平台；以及定制化形式化验证整体解决方案等服务。望安科技依托形式化验证核心技术，已拥有多项技术专利、软著，自研多款形式化验证工具。核心技术已应用于C919国产大飞机、载人航天工程、中航工业集团、航天科技集团等，已覆盖相对广泛的合作领域和企业。

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