data.zip (147.76 MB)

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

dataset

posted on 20.02.2020, 00:00 authored by W.H.M. (Wytse) Oortwijn, Marieke HuismanMarieke 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

Usage metrics

University of Twente

Keywords

Case study Concurrency verification Deductive verification Model checking Parallel graph searching Separation logic

Licence

Apache-2.0