Results for the Model Checking of the PROMELA model of ADAPOS

dc.contributor.affiliationUniversity of Helsinki-John Lång
dc.contributor.authorJohn Lång
dc.contributor.roleKeijo Heljanko Supervisor
dc.date.accessioned2025-04-29T13:59:28Z
dc.date.issued2021-05-10
dc.date.issued2021-05-10
dc.descriptionThis 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.
dc.identifierhttps://doi.org/10.5281/zenodo.4745459
dc.identifier.urihttps://datakatalogi.helsinki.fi/handle/123456789/4287
dc.rights.licensecc-by-4.0
dc.subjectdistributed systems
dc.subjectcontrol systems
dc.subjectdata acquisition
dc.subjectformal verification
dc.subjectmodel checking
dc.subjectcase study
dc.titleResults for the Model Checking of the PROMELA model of ADAPOS
dc.typedataset
Zenodo


: