Software Open Access

ALICE Data Point Processing Framework

John Lång

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.
Files (634.4 kB)
Name Size
634.4 kB Download
All versions This version
Views 170170
Downloads 1515
Data volume 9.5 MB9.5 MB
Unique views 153153
Unique downloads 1212


Cite as