data.zip (147.76 MB)

Artifact for Automated Verification of Parallel Nested DFS, TACAS’20

Download (147.76 MB)
dataset
posted on 20.02.2020 by W.H.M. (Wytse) Oortwijn, Marieke Huisman, J.C. (Jaco) van de Pol
This dataset contains the artifact for our TACAS'20 article titled: Automated Verification of Parallel Nested DFS. More specifically, it contains the VerCors implementation of the parallel NDFS algorithm described in Section 3 of the paper, as well as the two optimisations of parallel NDFS described in Section 4. It also contains a release of VerCors for verifying these three implementations.

Funding

NWO TOP, 612.001.403

NWO VICI, 639.023.710

History

Contributors

University of Twente, Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS), Formal Methods and Tools

Publisher

4TU.Centre for Research Data

Format

media types: application/zip, text/plain, text/x-c++, text/x-shellscript

Licence

Exports