Dataset Open Access

Results for the Model Checking of the PROMELA model of ADAPOS

John Lång

Thesis supervisor(s)

Keijo Heljanko

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 (2.2 MB)
Name Size
ADAPOS-results-v6.6-v.6.10.tar.gz
md5:038b26ccaad003a6378d6f01c679cdd6
2.2 MB Download
31
6
views
downloads
All versions This version
Views 3131
Downloads 66
Data volume 13.0 MB13.0 MB
Unique views 2424
Unique downloads 66

Share

Cite as