figshare
Browse

ProVerB: Dataset of Tools and Formats for Program Verification

Download (3.12 MB)
dataset
posted on 2022-07-21, 11:59 authored by Sophie LathouwersSophie Lathouwers, Vadim ZaytsevVadim 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

Publisher

4TU.ResearchData

Format

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

Organizations

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

Usage metrics

    University of Twente

    Categories

    Keywords

    Program verificationspecification formatToolsVerificationComputer SoftwareOther Information and Computing Sciences

    Licence

    CC BY 4.0

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC