关于我们

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


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


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


公司简介

领导关怀

望安科技自成立伊始即得到了省、市政府的大力扶持,于2019年先后入选浙江省柯桥区“鉴湖英才”及浙江省绍兴市“海内外英才计划”。


发展历程

10月

与小米科技签约

06月

与中科海微签约

2022
03月

与中国航天科工集团签约

与中国移动签约

09月

全国最高等级EAL5+元心科技项目签约

08月

智能操作系统安全项目落地

12月
2021
2020

与JTsec建立国外联合实验室

与银行卡检测中心建立国内联合实验室

03月
12月

与梆梆安全签约,在安全关键系统、软件按、操作系统领域落地

加入国汽智联基础软件标准工作组

高速飞车形式化验证项目实施



10月

为军科院提供自研形式化验证工具

航天方舟战略合作签约
保障返回式航天器安全

05月