Oortwijn, W.H.M. (Wytse); Huisman, Marieke; van de Pol, J.C. (Jaco) (2020): Artifact for Automated Verification of Parallel Nested DFS, TACAS’20. Version 1. 4TU.ResearchData. dataset. https://doi.org/10.4121/uuid:36c00955-5574-44d9-9b26-340f7a1ea03b

Usage statistics

Categories

• Computer Software
• Information Systems
• Computation Theory and Mathematics

Keywords

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

Licence

Apache-2.0

Export as...

RefWorks BibTeX Reference Manager Endnote DataCite NLM DC CFF

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.

History

• 2020-02-20 first online, published, posted

Publisher

4TU.Centre for Research Data

Format

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

Funding

• NWO TOP, 612.001.403
• NWO VICI, 639.023.710

Organizations

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