Research output per year
Research output per year
Description
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
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
| Date made available | 1 Aug 2022 |
|---|---|
| Publisher | Zenodo |
Research output
- 1 Article in proceeding
-
PDAAAL: A Library for Reachability Analysis of Weighted Pushdown Systems
Jensen, P. G., Schmid, S., Schou, M. K. & Srba, J., 2022, Automated Technology for Verification and Analysis: 20th International Symposium, ATVA 2022, Proceedings. Bouajjani, A., Holík, L. & Wu, Z. (eds.). Springer, p. 225-230 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 13505 LNCS).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review