ProVerB: Dataset of Tools and Formats for Program Verification

  • Sophie Apollonia Maria Lathouwers (Creator)
  • Vadim Zaytsev (Creator)

Dataset

Description

ProVerB, short for Program Verification Book, is a project aimed at explaining program verification tools to practicing software developers, and at helping them to find their way around the available tools, clearly and briefly summarising the main purpose of the tool, its current status, relations to other tools, etc.

Notable parts of the artefact:
- Manually created dataset of semi-structured descriptions of tools and formats in the domain of program verification
- User-friendly browsable and interlinked web frontend version of ProVerB
Date made available21 Jul 2022
Publisher4TU.Centre for Research Data
  • Modelling Program Verification Tools for Software Engineers

    Lathouwers, S. & Zaytsev, V., 24 Oct 2022, MODELS '22: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems. New York, NY, USA: Association for Computing Machinery, p. 98–108 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    3 Citations (Scopus)
    148 Downloads (Pure)

Cite this