10.5281/zenodo.3258225
https://zenodo.org/records/3258225
oai:zenodo.org:3258225
John Lång
John Lång
0000-0002-9394-2464
University of Helsinki, Finland; also Utrecht University, the Netherlands
ALICE Data Point Processing Framework
Zenodo
2019
2019-06-27
eng
10.1145/3338906.3340453
10.5281/zenodo.3258224
5.0.0
Apache License 2.0
This is version 5.0.0 of the ALICE Data Point Processing Framework (ADAPRO), an open source (licensed under Apache 2.0) C++ software framework, originally developed at CERN. This archive contains the source code, example applications, tests, documentation, and the Promela and DIVINE models of ADAPRO.
This archive was prepared for the following study:
John Lång and I.S.W.B. Prasetya. 2019. Model Checking a C++ Software
Framework, a Case Study. In Proceedings of the 27th ACM Joint European
Software Engineering Conference and Symposium on the Foundations of Soft-
ware Engineering (ESEC/FSE '19), August 26–30, 2019, Tallinn, Estonia. ACM,
New York, NY, USA, 11 pages. https://doi.org/10.1145/3338906.3340453