形式化验证将成投资布局新热点！望安科技受邀参加深创投技术交流会

2023年7月25日，由深创投举办的SSGC-Logic@2023年“走向共同创业”、软件工程基础技术交流研讨会在深圳成功召开。本次会议由深创投集团投委会秘书处组织，以形式化Logic为核心探讨软件工程基础技术。望安科技作为系统形式化验证与安全认证的推动者受邀参会，并由创始人赵永望 作了《关键软硬件的高安全等级认证与形式化验证——技术、应用、产品》的报告。深创投作为国内投资界最具代表性的创投机构，将在形式化方法、编译、测试、软件安全等软件工程基础领域布局投资。

关于深创投

望安科技作为国内形式化验证领域和CC高等级认证领域的推动者，一直致力于为国家重大项目、关键系统及行业企业提供安全认证保障，公司拥有的形式化验证核心技术，在领域内已达到了国际先进水平。面对当前中国信息安全产业的飞速建设、高等级认证服务的爆发性需求，望安具备良好的市场机会和发展前景，此次受邀参会，是望安科技在行业内的一次重要展示，未来，望安科技将继续深耕形式化验证领域，不断提升自身技术实力和服务水平，为推动中国软件工程的发展贡献力量！