cc-by-4.0John Lång2025-04-292021-05-102021-05-10https://datakatalogi.helsinki.fi/handle/123456789/4287This dataset contains the results of model checking the PROMELA model of ALICE Data Point Service (ADAPOS, see https://doi.org/10.18429/JACoW-ICALEPCS2017-TUPHA042) over 640 runs of the Spin model checker version 6.5.2. The versions of the PROMELA model checked was 6.6 – 6.10. This dataset is part of the work for my master's thesis with the title "Model Checking a Distributed Data Acquisition System" at the University of Helsinki, Finland.distributed systemscontrol systemsdata acquisitionformal verificationmodel checkingcase studydataset