Reproduction Package for TACAS 2020 Article `Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art'
Dirk Beyer, Matthias Dangl · Zenodo (CERN European Organization for Nuclear Research) · 2019
Reproduction package for the article "Dirk Beyer and Matthias Dangl. Software Verification with PDR: Implementation and Empirical Evaluation of the State of the Art." The file README.txt contains a description of the contents of the archive.