基于形式化验证的AI智能体安全漏洞自动挖掘平台

Search documents
科大国创亮相世界制造业大会 荣获“数据要素×”赛事金奖
Zhong Zheng Wang· 2025-09-23 03:09
Core Viewpoint - The 2025 World Manufacturing Conference recently opened in Hefei, showcasing Keda Guokuan Software Co., Ltd.'s advancements in "Artificial Intelligence +" full-stack solutions and cutting-edge technologies such as trusted data space and quantum technology [1] Group 1: Company Developments - Keda Guokuan displayed its latest products including intelligent cloud BMS, BEMS, and liquid cooling energy storage systems at the conference [1] - The company was highlighted as a leader in trusted data space, having successfully completed the national interconnectivity verification as one of the first data infrastructure nodes [1] Group 2: Industry Initiatives - The conference featured a key event, the Innovation Achievement Conference for the Comprehensive Experimental Zone of Data Elements, where Keda Guokuan promoted its project as part of the national-level demonstration project in the Yangtze River Delta [1] - The event also included the award ceremony for the 2025 "Data Element ×" competition in Anhui, where Keda Guokuan received a gold award for its project on "AI Agent Security Vulnerability Automatic Mining Platform Based on Formal Verification," showcasing its leading capabilities in the data element and AI application fields [1]