望安科技获Pre-A轮融资 粤科金融集团主导投资

智通财经APP获悉，浙江望安科技有限公司（下称“望安科技”）完成Pre-A轮融资，本轮由粤科金融集团主导、旗下两支专业投资基金联合参与，具体金额未披露；资金将重点用于AI与形式化验证核心技术与工具链研发、重点行业与全球市场拓展，以及专业团队扩充与运营储备。

据公开资料显示，望安科技成立于2019年6月，注册于浙江绍兴，董事长为浙江大学教授、博士生导师赵永望，其担任ARINC653国际操作系统标准委员会委员、国际CC操作系统内核技术委员会委员，曾起草4项ISO国际标准与12项国家标准；公司以“AI＋形式化验证”为核心，推进面向研发环节的PrimeCode高可靠软件研发平台与面向认证合规的CertHub产品安全智能合规平台两条产品线；公司称已支撑小米HyperOS自研微内核及玄戒芯片通过原生安全评估与形式化验证，并获国内首张软件类与芯片类CCRC EAL5+认证证书，技术已在车载智能、航天关键系统等高可靠场景落地。