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

说从上海海洋高中其它信息学院硕士生导师  ，软件程序 工程系副主任张文博教授作《海洋学科直线距离形式化形式还国家中目前有多远？》主题报告  ，详细简单介绍了说从上海海洋高中数字海洋研究成果所近年来在海洋防灾减灾、海洋中尺度目前状态检测、海冰解译、海底视觉、海洋小环境评估、海上风电等层面的研究成果工作任务 ，探讨发展未来海洋学科与形式化形式深度融合的路径。

专题报告后 ，专家们与参会嘉宾并对研讨交流 ，我们就形式化形式在不一样技术领域的应用前景、核心技术挑战及发展发展未来进步方向调整等组成部分最终解决并对了深入探讨  ，现场领导组织气氛热烈  ，思想碰撞不不断地  ，研讨会胜利圆满顺利。