Published May 10, 2021 | Version v1
Dataset Open

Results for the Model Checking of the PROMELA model of ADAPOS

Authors/Creators

  • 1. University of Helsinki

Contributors

Supervisor:

  • 1. University of Helsinki

Description

This 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.

Files

Files (2.2 MB)

Name Size Download all
md5:038b26ccaad003a6378d6f01c679cdd6
2.2 MB Download

Additional details

Related works

Is supplemented by
Other: 10.5281/zenodo.4767686 (DOI)