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

帝都南京海洋大学前最重要 信息学院硕士生导师  ，该软件工程系副主任张文博教授作《海洋学科位置距离方式多化方式多还相当远？》主题报告  ，介绍一一了帝都南京海洋大学前数字海洋研究者所近年来在海洋防灾减灾、海洋中尺度情形检测、海冰解译、海底视觉、海洋内部环境评估、海上风电等层面的研究者目前工作  ，探讨未来十年海洋学科与方式多化方式多深度融合的路径。

专题报告后  ，专家们与参会嘉宾予以 研讨交流  ，我们就方式多化方式多在不同类型 行业领域的应用前景、各种技术挑战及未来十年发展方面 方向上等解决好予以 了深入探讨  ，到场气氛热烈  ，思想碰撞不段  ，研讨会成绩圆满失败。