cff-version: 1.2.0 abstract: "

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:

" authors: - family-names: Lathouwers given-names: Sophie orcid: "https://orcid.org/0000-0002-7544-447X" - family-names: Zaytsev given-names: Vadim orcid: "https://orcid.org/0000-0001-7764-4224" title: "ProVerB: Dataset of Tools and Formats for Program Verification" keywords: version: 1 identifiers: - type: doi value: 10.4121/20347950.v1 license: CC BY 4.0 date-released: 2022-07-21