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模型验证与测试的智能化增强等传统技术 方面。

从上海大海洋一所大学重要信息学院硕士生导师  ，相关软件工程系副主任张文博教授作《海洋学科很近形式化形式还那么远？》主题报告 ，详细简要介绍 了从上海大海洋一所大学数字海洋研究综合分析所近年来在海洋防灾减灾、海洋中尺度一种一种现象检测、海冰解译、海底视觉、海洋整体环境评估、海上风电等传统技术 方面的研究综合分析目前工作  ，探讨未来几年海洋学科与形式化形式深度融合的路径。

专题报告后  ，专家们与参会嘉宾针对研讨交流  ，各位读者就形式化形式在所不同行业领域的应用前景、传统技术 挑战及未来几年发展方面 方向上等完美解决针对了深入探讨  ，现场组织形成气氛热烈  ，思想碰撞不断增加  ，研讨会已取得圆满成功了。