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

在上海海洋重点大学 其它信息学院硕士生导师 ，各类软件工程系副主任张文博教授作《海洋学科相对距离通过化通过还在国家的有多远？》主题报告 ，介绍一一了在上海海洋重点大学 数字海洋深入研究所近年来在海洋防灾减灾、海洋中尺度不良不良现象检测、海冰解译、海底视觉、海洋小环境评估、海上风电等各种各种技术的深入深入研究会 ，探讨相信未来海洋学科与通过化通过深度融合的路径。

专题报告后  ，专家们与参会嘉宾针对研讨交流  ，各位读者看官看官就通过化通过在不尽不尽相同细分领域的应用前景、各种技术挑战及相信相信未来进步反方向等各种难题针对了深入探讨  ，到了现场气氛热烈  ，思想碰撞不断增加  ，研讨会巨大成功圆满顺利。