Alloy4Fun Dataset for 2024/25
This dataset contains models submitted by students in the Alloy4Fun platform to solve the challenge models from various editions of formal methods courses in the University of Minho (UM) and the University of Porto (UP) between the fall of 2019 and the spring of 2025, totalling around 185.000 ent
This dataset contains models submitted by students in the Alloy4Fun platform to solve the challenge models from various editions of formal methods courses in the University of Minho (UM) and the University of Porto (UP) between the fall of 2019 and the spring of 2025, totalling around 185.000 entries. Participants include those enrolled in the optional MSc course “Specification and Modelling” (EM) and the mandatory MSc course “Formal Methods in Software Engineering” (MFES) in UM, and the optional MSc course “Formal Methods for Critical Systems” (MFS) in UP. Note that since the challenges’ permalinks are publicly available, the dataset may contain submissions from other participants outside the classroom context.
The analysis of the 2021 dataset is reported in the Science of Computer Programming paper “Experiences on Teaching Alloy with an Automated Assessment Platform” (extending the ABZ’20 conference version analysing the 2020 dataset).
| Name | Permalink | Courses (Students) | Entries |
|---|---|---|---|
| Trash FOL | sDLK7uBCbgZon3znd | EM 19/20 (~20) & 20/21 (~20), MFS 21/22 (~10) & 22/23 (~10) | 4333 |
| Classroom FOL | YH3ANm7Y5Qe5dSYem | EM 19/20 (~20) & 20/21 (~20), MFS 21/22 (~10) & 22/23 (~10) | 5106 |
| Trash RL | PQAJE67kz8w5NWJuM | EM 19/20 (~20) & 20/21 (~20) | 4929 |
| Classroom RL | zRAn69AocpkmxXZnW | EM 19/20 (~20) & 20/21 (~20) | 6813 |