望安科技亮相CCF软件大会，聚焦形式化验证与原生安全

2025-12-03 10:33:10

2025年11月28日至30日，2025 CCF中国软件大会在武汉国际会议中心举行，主题为“软件定义智能互联新世界”。大会邀请了12位院士作报告，并举办了75个分论坛。浙江望安科技在会上发布四场论坛报告，展示其在“原生安全”和“形式化验证”领域的最新成果。望安科技创始人赵永望教授的报告探讨了AI赋能形式化验证技术，并分析了关键技术瓶颈与未来发展方向。望安科技的技术副总裁张峰的报告则展示了如何通过形式化验证构建基础软件原生安全。大会为行业提供了交流平台，望安科技展示了实践案例，推动了相关技术在更多场景中的应用。

免责声明：凡本站未注明来源为"暗传播"的所有作品，均转载、编译或摘编自其它媒体，转载、编译或摘编的目的在于传递更多信息，并不代表本站赞同其观点和对其真实性负责。如因作品内容、版权和其他问题，请与我们联系。

一站式新闻发稿平台

受用户关注

营销传播更快

优质广告资源，最快 5 分钟内出稿。让品牌宣传更高效。

权威性、公信力强

让您的产品和企业更具公信力、品牌形象更有说服力

资源性价比高

优质的一手资源，拒绝中间商差价，让推广需求直达资源主方

合作专业规范

专业为各大公关、传媒、广告公司、互联网企业提供完美服务

望安科技亮相CCF软件大会，聚焦形式化验证与原生安全

推荐内容

一站式新闻发稿平台