Results for the Model Checking of the PROMELA model of ADAPOS
No Thumbnail Available
Restricted Availability
Date
2021-05-10, 2021-05-10
Persistent identifier of the Data Catalogue metadata
Creator/contributor
Editor
Journal title
Journal volume
Publisher
Publication Type
dataset
Peer Review Status
Repositories
Access rights
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.