Results for the Model Checking of the PROMELA model of ADAPOS
收藏NIAID Data Ecosystem2026-03-12 收录
下载链接：
https://zenodo.org/record/4745458
下载链接
链接失效反馈官方服务：
资源简介：
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.
创建时间：
2021-05-18
