找到2个数据集

格式: ZIP 标签: 命令索引

过滤结果

  • Formal_Methods_Playground_Based_Alloy模型编辑分析数据集

    2026年1月17日 30 29 28

    数据集概述 本数据集包含在Formal Methods Playground平台（https://play.formal-methods.net/）上编辑和分析的Alloy模型数据，核心记录Alloy模型实验的关键信息，支持形式化方法领域的模型研究与分析。数据集包含一个文件。 文件详解 文件名称：fmp_als.json 文件格式：JSON...
    packageimg

  • Alloy4Fun_Based_2022_23_学生形式化方法课程挑战模型数据集

    2026年1月15日 30 37 7

    数据集概述 本数据集包含2019年秋季至2023年春季期间，Minho大学和Porto大学学生在Alloy4Fun平台提交的形式化方法课程挑战模型，共约十万条记录。覆盖Trash FOL、Classroom FOL、Production line等11类挑战主题，涉及EM、MFES、MFS等多门硕士课程，用于教学评估与形式化方法研究。 文件详解...
    packageimg