Repeatability Package for "PDAAAL: A Library for Reachability Analysis of Weighted Pushdown Systems"

Repeatability package for the tool paper "PDAAAL: A Library for Reachability Analysis of Weighted Pushdown Systems" accepted at ATVA 2022.

This package contains the source code, executable, benchmarks and scripts to re-run the experiments reported in the paper, along with prepopulated result files. 

The reproducibility-package is only available for Linux.

See the README.txt file for more details.

The PDAAAL code base is planned to continue developement (at the time of this upload). Check Github for the latest version of the source code: https://github.com/DEIS-Tools/PDAAAL