FMP_SMT_Based_Formal_Methods_Playground脚本分析数据集

数据集概述

本数据集为FMP_smt数据集，包含在Formal Methods Playground平台上编辑和分析的SMT-LIB脚本。每条数据记录包含唯一标识、父项关联、完整脚本代码、平台永久链接及时间戳，用于形式化方法领域的脚本分析与研究。

文件详解

• 文件名称：fmp_smt.json
• 文件格式：JSON
• 字段映射介绍：每条数据记录包含以下字段——id（条目唯一标识符）、parent（条目的父项）、code（脚本完整代码）、permalink（Formal Methods Playground平台的永久链接，可通过拼接URL https://play.formal-methods.net/?check=SMT&p= 访问）、time（条目时间戳）

数据来源

Formal Methods Playground平台（https://play.formal-methods.net/）

适用场景

• 形式化方法脚本分析：用于研究SMT-LIB脚本的编辑模式、结构特征与演化规律
• 形式化工具验证：基于脚本代码与平台链接，验证SMT工具在实际使用中的表现
• 形式化教育研究：分析学习者在形式化方法平台上的脚本编辑行为与学习轨迹
• 形式化方法平台数据挖掘：挖掘平台用户的脚本交互模式与使用偏好