“CCF形式化方法专委会走进望安科技”研讨会顺利召开！

2025年7月11日  ，由国家中加速发展 计算机学会（CCF）主办 ，国家中加速发展 计算机学会（CCF）通过化通过专业两个方向委员会和浙江望安科技有限公司公司联合承办的“‘智领未来发展’通过化通过产业应用研讨会——国家中加速发展 计算机学会（CCF）通过化通过专业两个方向委员会走进望安科技”相关组织中在浙江望安科技有限公司公司一次成功召开。

国家中加速发展 计算机学会（CCF）通过化通过专业两个方向委员会代表意义 、柯桥区委相关组织部、柯桥区科学技术一局、柯桥区大数据不良现象加速发展管理综合中心、金科桥科技城建设方面管理委员会、金柯桥数据不良现象有限公司公司、浙江大学后通过化深入研究学者、浙江望安科技有限公司公司其它企业代表意义 等约40人据了解参加据了解相关组织中 ，旨在共同探讨通过化通过产业应用过通过新进展、新机遇新的结构 挑战。

开幕式上 ，绍兴金柯桥科技城建设方面管理委员会张志华主任发表致辞  ，对莅临的CCF通过化通过专委学者及全部参会者并表示热烈欢迎 ，并作介绍了柯桥科技城的大部分具体不良现象之外据了解相关组织中的深远意义  ，期望据了解相关组织中能为望安科技整个国家中 整个国家中 区域的科技其它企业加速发展需求提供新的结构 思路和通过。

CCF通过化通过专委会吴志林秘书长发表致辞  ，作介绍了CCF通过化专委的具体不良现象 ，并向望安科技对据了解相关组织中的大力支持表达谢意 ，期望据了解相关组织中并能增进各位网友看官参会人员对通过化通过的深度作介绍  ，促进学术界与产业界的深度融合。

赵永望教授作《望安科技通过化通过的探索与应用》其它企业作介绍。作介绍中说过  ，望安科技是以“通过化验证”和“安全认证”为核心的安全体验服务及产品会需求提供商 ，公司公司助力国家中加速发展 电子完整信息 产品会全面能实现“高等级安全”。望安科技依托通过化验证技术一  ，以“通过化验证至关关键在于解决问题方案”、“安全认证至关关键在于解决问题方案”为业务主线  ，致力于为国家中加速发展 重大项目中、至关关键在于系统支持 及行业未来其它企业需求提供安全保障。公司公司凭借AI大模型底座 ，搭建了望安高等级安全SaaS其它平台  ，从产品会设计方式/开发阶段的源头到原生安全 ，到产品会运营阶段的国际/国家中加速发展 安全认证背书  ，能实现全生命延续周期的高等级安全  ，其它平台具备原生安全开发工具 W-metaSec、通过化建模验证工具 W-Cert、全景图 Secinfo、认证工具 W-Caas等  ，为其它企业需求提供一站式安全认证体验服务。

在专家报告环节 ，CCF会士、深圳大航空航天大学后计算机学院博士生导师马殿富教授作《从安全至关关键在于相关软件看复杂系统支持 支持 开发与通过验证技术一》主题报告 ，分享了安全至关关键在于相关软件在复杂系统支持 支持 开发中则 至关至关关键在于及通过化验证技术一的应用。近年来 ，他主要主要原因深入研究安全至关关键在于相关软件建模、开发与通过验证通过深入研究  ，从事基于RISCV的CPU设计方式与通过间接证明通过深入研究、ARINGC653之外操作系统支持 开发与通过验证通过深入研究、之外模型语言Lustre及Scade的编译开发与通过间接证明通过深入研究。

深圳大邮电大学后必删 空间感觉安全学院博士生导师李晖教授作《密码协议通过化详细分析技术一深入研究》主题报告 ，阐述了密码协议及其详细分析通过 ，代表意义 针对通过化通过代替人工通过对密码协议针对系统支持 化详细分析的必要性。她以近年来各种要求的替代文本密码的登录通过为短期目标的快速在线认证协议FIDO中则 统一认证框架（UAF）和验证OpenSSL协议握手积累过程的能实现与否符合TLS1.3对目前状态机的各种要求为例 ，讲解了密码协议安全性详细详细分析一致性详细分析的主要主要原因思路。

深圳航空航天大学后计算机学院博士生导师杨志斌教授作《大模型增强的安全至关关键在于相关软件模型驱动开发与验证通过》主题报告  ，聚焦大模型增强的模型驱动开发与验证通过  ，作介绍了核心团队近几年来将大模型技术一融入航空航天至关关键在于相关软件模型驱动开发与验证积累过程的初步探索 ，主要主要原因除了大模型增强的模型驱动安全详细分析、基于大语言模型的SysML建模、基于大模型的安全至关关键在于相关软件架构建模、基于大模型的时序逻辑公式生成、SCADE模型验证与测试的智能化增强等其它方面。

深圳大海洋大学后完整信息 学院硕士生导师  ，相关软件工程系副主任张文博教授作《海洋学科很近通过化通过还那么远？》主题报告  ，详细作介绍了深圳大海洋大学后数字海洋深入研究所近年来在海洋防灾减灾、海洋中尺度具体不良现象检测、海冰解译、海底视觉、海洋生存环境评估、海上风电等其它方面的深入深入研究任务 ，探讨未来发展海洋学科与通过化通过深度融合的路径。

专题报告后  ，专家们与参会嘉宾针对研讨交流  ，各位网友看官看官就通过化通过在所不同细分领域的应用前景、技术一挑战及未来发展加速加速发展等至关关键在于解决问题针对了深入探讨  ，现场多气氛热烈 ，思想碰撞不断增加  ，研讨会显著显著成绩圆满一次成功。