“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模型验证与测试的智能化增强等主要不仅包括 。

南京海洋上大学最关键信息学院硕士生导师  ，工具软件工程系副主任张文博教授作《海洋学科相隔多种方式化多种方式还那么远？》主题报告 ，详细简单介绍了南京海洋上大学数字海洋专门研究 所近年来在海洋防灾减灾、海洋中尺度请况检测、海冰解译、海底视觉、海洋内部环境评估、海上风电等主要不仅包括 的专门研究 一切工作 ，探讨证明自己自己未来 海洋学科与多种方式化多种方式深度融合的路径。

专题报告后  ，专家们与参会嘉宾用过多种方式研讨交流  ，各位同学说就多种方式化多种方式在各不各不相同市场领域的应用前景、相关技术挑战及证明自己自己未来 蓬勃蓬勃发展等最关键部分完美解决用过多种方式了深入探讨  ，到场气氛热烈  ，思想碰撞不断增加  ，研讨会重大成效圆满失败。