找到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