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
More info on how stats are collected.
Indexed in
Publication date:
May 10, 2021
DOI:
10.5281/zenodo.4745459

Zenodo DOI Badge

DOI 

10.5281/zenodo.4745459

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.4745459.svg)](https://doi.org/10.5281/zenodo.4745459)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.4745459.svg
   :target: https://doi.org/10.5281/zenodo.4745459

HTML 

<a href="https://doi.org/10.5281/zenodo.4745459"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.4745459.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.4745459.svg

Target URL 

https://doi.org/10.5281/zenodo.4745459

Keyword(s):
distributed systems control systems data acquisition formal verification model checking case study
Awarding University:
University of Helsinki
Related identifiers:
Supplementary material
License (for files):
Creative Commons Attribution 4.0 International

Versions

Version 1 10.5281/zenodo.4745459 May 10, 2021
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.4745458. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export