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模型验证与测试的智能化增强等主要由 。
说南京海洋重点大学 关键点信息学院硕士生导师 ，软件工具工程系副主任张文博教授作《海洋学科它离其他方式化其他方式还爱有多深远？》主题报告 ，介绍一一了说南京海洋重点大学 数字海洋专门研究 所近年来在海洋防灾减灾、海洋中尺度具体情况检测、海冰解译、海底视觉、海洋坏境评估、海上风电等主要由 的专门研究 所有内容工作 ，探讨未来十年海洋学科与其他方式化其他方式深度融合的路径。
专题报告后 ，专家们与参会嘉宾对其研讨交流 ，下面 就其他方式化其他方式在同的技术领域的应用前景、核心技术挑战及未来十年发展方面 其他方向等核心解决目前对其了深入探讨 ，现场多气氛热烈 ，思想碰撞不段 ，研讨会拿到圆满成功后。