Results for the Model Checking of the PROMELA model of ADAPOS
Loading...
Restricted Availability
Date
Persistent identifier of the Data Catalogue metadata
Creator/contributor
Editor
Journal title
Journal volume
Publisher
Publication Type
dataset
Peer Review Status
Repositories
Access rights
Cite this resource
Lång, J. (2021). Results for the Model Checking of the PROMELA model of ADAPOS [Dataset]. Zenodo. https://doi.org/10.5281/ZENODO.4745459
ISBN
ISSN
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.
Link to original dataset
Keyword (yso)
Keywords
distributed systems, control systems, data acquisition, formal verification, model checking, case study