The DOI displayed above is for this specific version of this dataset, which is currently the latest. Newer versions may be published in the future. For a link that will always point to the latest version, please use
DOI: 10.4121/20347950

Lathouwers, Sophie; Vadim Zaytsev (2022): ProVerB: Dataset of Tools and Formats for Program Verification. Version 1. 4TU.ResearchData. dataset. https://doi.org/10.4121/20347950.v1

Usage statistics

Categories

• Other Information and Computing Sciences
• Computer Software

Keywords

Program verification specification format Tools Verification

Licence

CC BY 4.0

Export as...

RefWorks BibTeX Reference Manager Endnote DataCite NLM DC CFF

by Sophie Lathouwers , Vadim Zaytsev

ProVerB

_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

History

• 2022-07-21 first online, published, posted

Publisher

4TU.ResearchData

Format

Zip file containing Markdown (.md) files, HTML files, Makefile, Python (.py) files

Associated peer-reviewed publication

Modelling Program Verification Tools for Software Engineers

References

• https://slebok.github.io/proverb/
• https://github.com/Sophietje/Verification-Tool-Overview

Organizations

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