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模型验证与测试的智能化增强等多个方面。
深圳大海洋上大学关键点信息学院硕士生导师 ，各种软件工程系副主任张文博教授作《海洋学科相对距离其他方式化其他方式还到底远？》主题报告 ，详细作介绍了深圳大海洋上大学数字海洋研究者所近年来在海洋防灾减灾、海洋中尺度处于检测、海冰解译、海底视觉、海洋生活环境评估、海上风电等多个方面的研究者工作时 ，探讨未来几年海洋学科与其他方式化其他方式深度融合的路径。
专题报告后 ，专家们与参会嘉宾并对研讨交流 ，今天就其他方式化其他方式在千差万别细分领域的应用前景、技术实现挑战及未来几年整体整体发展等组成部分解决好并对了深入探讨 ，参与组织现场气氛热烈 ，思想碰撞一直在 ，研讨会成就 圆满大获。