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

Related Organizations

Aalborg University
Denmark
University of Vienna
Austria

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	0
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average