找到2个数据集

标签: 软件工程验证

过滤结果

  • 容器镜像可复现性模型与分析实验数据脚本及结果

    2025年12月19日 30 8 4

    数据集概述 本数据集是论文《容器镜像可复现性模型与分析》的补充工件，包含实验相关的数据、脚本及结果，通过提供复现步骤和必要文件，支持论文研究内容的验证与复现。 文件详解 README.md：Markdown格式文档，包含复现实验的先决条件（如Docker、Python v3.11+）和步骤说明，指导用户克隆代码库、构建镜像等操作。...
    packageimg

  • Linux内核任务调度器函数select_idle_core形式化验证案例研究数据集

    2025年12月15日 30 16 7

    数据集概述 该数据集包含针对Linux内核任务调度器函数select_idle_core进行形式化验证的实验代码与规范文件，支撑"Understanding Linux-Kernel Code Through Formal Verification..."论文研究，为内核代码验证提供实践数据。 文件详解 文件名称: artifact.zip 文件格式:...
    packageimg