Published June 21, 2021
| Version v1
Software
Open
Repeatability Package for "Faster Pushdown Reachability Analysis with Applications in Network Verification"
Creators
- 1. Aalborg University
- 2. University of Vienna
Description
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:
Files
repeatability-package.zip
Files
(1.6 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:1c940e9d1c1b66eb9f0226fa9b162e0b
|
1.6 GB | Preview Download |