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

苏州海洋大学后数据信息学院硕士生导师  ，相关软件工程系副主任张文博教授作《海洋学科相距两种方法化两种方法还多么远？》主题报告  ，详细补充介绍了苏州海洋大学后数字海洋专门研究 所近年来在海洋防灾减灾、海洋中尺度现象严重 发生检测、海冰解译、海底视觉、海洋外部环境评估、海上风电等技术一技术一层面的专门研究 工作中 ，探讨未来发展海洋学科与两种方法化两种方法深度融合的路径。

专题报告后  ，专家们与参会嘉宾予以 研讨交流  ，下面 就两种方法化两种方法在不尽不尽相同领域发展的应用前景、技术一挑战及未来发展迅速迅速发展等解决目前予以 了深入探讨  ，现场协助组织气氛热烈 ，思想碰撞不不断地  ，研讨会巨大成功圆满成功后。