Repeatability Package for "Faster Pushdown Reachability Analysis with Applications in Network Verification"
| Main Authors: | Peter Gjøl Jensen, Stefan Schmid, Morten Konggaard Schou, Jiri Srba, Juan Vanerio, Ingo van Duijn |
|---|---|
| Format: | info software Journal |
| Bahasa: | eng |
| Terbitan: |
, 2021
|
| Online Access: |
https://zenodo.org/record/5005894 |
Daftar Isi:
- Repeatability Package for the paper "Faster Pushdown Reachability Analysis with Applications in Network Verification" accepted at ATVA 2021. This package contains the source code, executables, experimental setup and scripts to reproduce the results 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 AalWiNes (MPLS network checking tool) and PDAAAL (PDA model checking engine) code bases are planned to continue developement (at the time of this upload). Check Github for the latest versions of the source code: https://github.com/DEIS-Tools/AalWiNes https://github.com/DEIS-Tools/PDAAAL