cc-by-4.0John Lång2025-03-242021-05-102021-05-10https://hydatakatalogi-test-24.it.helsinki.fi/handle/123456789/9121This 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.Opendistributed systemscontrol systemsdata acquisitionformal verificationmodel checkingcase studydataset