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模型验证与测试的智能化增强等层面。
从上海都海洋重点大学 其它信息学院硕士生导师 ，软件程序 工程系副主任张文博教授作《海洋学科远的多种方式化多种方式还多么远？》主题报告 ，详细了解了从上海都海洋重点大学 数字海洋深入研究所近年来在海洋防灾减灾、海洋中尺度所有的现像检测、海冰解译、海底视觉、海洋环境中评估、海上风电等层面的深入深入研究会 ，探讨今后海洋学科与多种方式化多种方式深度融合的路径。
专题报告后 ，专家们与参会嘉宾针对研讨交流 ，各位网友就多种方式化多种方式在不尽不尽相同行业领域的应用前景、其技术挑战及今后发展方面 主方向等所有的解决好针对了深入探讨 ，现场人员气氛热烈 ，思想碰撞不断增加 ，研讨会佳绩圆满成功后。
