望安科技亮相杭甬双城记—产融赋能·共享共赢2022科技金融资本对接会

2月25日，产融赋能·共享共赢 2022科技金融资本对接会在浙江人才大厦顺利举办。本次活动在宁波市委人才办、宁波甬江科创大走廊指挥部、宁波市东部新城开发建设指挥部指导下，由浙江创新中心、浙江人才大厦主办，会议旨在加速杭州、宁波经济社会发展，加速集聚长三角优质资源，助力杭甬两地高质量发展。

路演项目涵盖信息技术、物联网、智能制造、生命健康等领域，吸引了物产中大、大丰股份、中金传化基金、东元创投、双诚控股、贝达投资、诺登创投等杭甬两地多家产业方和投资机构的关注。其中，望安科技作为系统安全形式化验证的领航者，应邀参会。

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

望安科技依托形式化验证核心技术，已拥有多项形式化技术专利、软著，自研多款形式化验证工具。核心技术已应用于C919国产大飞机、载人航天工程、中航工业集团、航天科技集团等，已覆盖相对广泛的合作领域和企业。

望安科技董事长赵永望代表公司作精彩发言。赵永望向大会详细介绍了公司成立以来所取得的技术成就、产品应用情况及公司核心技术应用典型案例。