安全攸关软件算法设计数据集
收藏国家基础学科公共科学数据中心2026-06-03 收录
官方服务：
资源简介：
安全攸关软件算法设计数据集是在公共数据集AutoLifter的基础上，增补了与安全攸关软件相关的算法构建而成，包含96个C语言算法合成任务，涵盖分治，动态规划，增量计算，线段树等多个优化算法类别，可用于安全攸关软件算法合成工具的测试与评估。
提供机构：
北京大学
社区交流群
科研交流群
商业服务
安全攸关软件算法设计数据集是在公共数据集AutoLifter的基础上，增补了与安全攸关软件相关的算法构建而成，包含96个C语言算法合成任务，涵盖分治，动态规划，增量计算，线段树等多个优化算法类别，可用于安全攸关软件算法合成工具的测试与评估。