There is a newer version of the record available.

Published February 13, 2025 | Version v1
Dataset Open

Formal Methods Playground Alloy Dataset

Creators

  • 1. ROR icon Bauhaus-Universität Weimar

Description

Dataset containing Alloy models edited and analyzed on the Formal Methods Playground at https://play.formal-methods.net/.

 

Each entry of the dataset contains:
  • id: the unique identifier of the entry
  • parent: the parent of the entry
  • code:  the complete code of the model
  • permalink: the permalink to the model in the Formal Methods Playground.
    • can be accessed by appending to the URL:  https://play.formal-methods.net/?check=ALS&p=<permalink>
  • time: the timestamp of the entry
  • cmd: the index of the command (starting from 1)

Files

fmp.json

Files (40.5 MB)

Name Size Download all
md5:ce439403f5b504391e2e75b6096d4750
40.5 MB Preview Download

Additional details

Software

Repository URL
https://github.com/se-buw/fm-playground
Programming language
TypeScript, Python, Java