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

发布：2025-12-03 10:33:10

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

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