Published June 8, 2025 | Version v2
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)

 

We would appreciate using the following citations if you are using this dataset: 

@inproceedings{SoaibuzzamanABZ25,
  author       = {Soaibuzzaman and Salar Kalantari and Jan Oliver Ringert},
  editor       = {Michael Leuschel and Fuyuki Ishikawa},
  title        = {On Writing Alloy Models: Metrics and a new Dataset},
  booktitle    = {11th International Conference on Rigorous State Based Methods, ABZ
                  2025, Düsseldorf, Germany, June 10, 2025, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {15728},
  pages        = {1-18},
  publisher    = {Springer},
  year         = {2025},
  url          = {https://doi.org/10.1007/978-3-031-94533-5\_5},
  doi          = {10.1007/978-3-031-94533-5\_5},
}

Files

fmp_als.json

Files (114.6 MB)

Name Size Download all
md5:98f24f88b31478704e0b3fca4931616e
114.6 MB Preview Download

Additional details

Related works

Is variant form of
Dataset: 10.5281/zenodo.15488370 (DOI)

Software

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