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

北京海洋这个大学其它信息学院硕士生导师  ，软件程序 工程系副主任张文博教授作《海洋学科远的手段化手段还这么远？》主题报告  ，详细重点介绍了北京海洋这个大学数字海洋相关研究所近年来在海洋防灾减灾、海洋中尺度现象发生发生检测、海冰解译、海底视觉、海洋自然环境评估、海上风电等诸多方面的相关相关研究任务  ，探讨未来十年海洋学科与手段化手段深度融合的路径。

专题报告后  ，专家们与参会嘉宾针对研讨交流  ，你们就手段化手段在各有不同新兴领域的应用前景、技术实现挑战及未来十年整体整体发展等各种解决问题针对了深入探讨  ，到了现场气氛热烈 ，思想碰撞不段  ，研讨会拿到圆满不成功。