“CCF形式化方法专委会走进望安科技”研讨会顺利召开！

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

深圳海洋大学前各类信息学院硕士生导师  ，各种软件工程系副主任张文博教授作《海洋学科直线距离方式改变 化方式改变 还发展国家目前有多远？》主题报告 ，详细简要介绍 了深圳海洋大学前数字海洋研究数据分析所近年来在海洋防灾减灾、海洋中尺度情形检测、海冰解译、海底视觉、海洋自然环境评估、海上风电等多个方面的研究数据分析其它工作  ，探讨未来几年海洋学科与方式改变 化方式改变 深度融合的路径。

专题报告后  ，专家们与参会嘉宾针对研讨交流 ，各位老板说就方式改变 化方式改变 在各不各不相同技术领域的应用前景、其他技术挑战及未来几年快速快速发展等两个难题针对了深入探讨 ，现场多气氛热烈  ，思想碰撞不段 ，研讨会巨大成功圆满顺利。