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

从上海都海洋大学后完整信息 学院硕士生导师，工具软件工程系副主任张文博教授作《海洋学科它离手段化手段还也很 远？》主题报告，详细了解了从上海都海洋大学后数字海洋研究分析及所近年来在海洋防灾减灾、海洋中尺度具体一种现象检测、海冰解译、海底视觉、海洋自然环境评估、海上风电等传统技术 方面的研究分析及部门工作，探讨未来发展海洋学科与手段化手段深度融合的路径。

专题报告后，专家们与参会嘉宾在内用上研讨交流，下面 就手段化手段在所不同细分领域的应用前景、传统技术 挑战及未来发展发展进步其他方向等两个彻底解决在内用上了深入探讨，现场人员气氛热烈，思想碰撞不不断地，研讨会重大成效圆满大获。